1. LOGIN: A Logic Programming Language with Built-In Inheritance;Ait-Kaci;J. Logic Programming,1986
2. Contributions to the Theory of Logic Programming;Apt;J. Assoc. Comput. Mach.,1982
3. Towards a Theory of Declarative Knowledge;Apt,1986
4. A new Approach to the Logical Theory of Interrogatives: Part 1;Aqvist,1965
5. TRAMP: An Interpretive Associative Processor with Deductive Capabilities;Ash;Proceedings of the 1968 ACM National Conference,1968