1. AbramsonH., A Prological Definition of HASL, Proceedings of Workshop on Logic ProgrammingAlgarve, Portugal, 1983.
2. AllenJ. F. and LuckhamD., An Interactive Theorem-proving Program, in Machine Intelligence,vol. 5, B. Meltzer and D. Michie(eds.), American Elsevier, New York, 1970, 321–336.
3. AndersonS. O., NevesJ. C. and WilliamsM. H., Extended Integrity Constraints in Query-By-Example, Technical Report, Heriot-Watt University, Edinburg, 1982.
4. AponteM. V., FernandezJ. A. and RousselP., Editing First-Order Proofs: Programmed Rules Versus Derived Rules, Proceedings of the International IEEE Conference on Logic Programming,Atlantic City, 1984.
5. AzemaP., JuanoleG. and SanchisE., Specification and Verification of Distributed Systems using Prolog Interpreted Petri Nets, Proceedings of the Seventh IEEE International Conference on Software Engineering1984.