A transformational view of inheritance in logic programming

Differential logic programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Modular logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Logical objects with constraints

ACM SIGPLAN Notices

Inheritance as sublation and its semantics

ACM SIGSOFT Software Engineering Notes

Talking biology in logic, and back

KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part III

Distributed logic objects

Computer Languages