1. “An algebraic semantics approach to the effective resolution of type equations,”;Aït-Kaci;Theor. Comput. Sc.,1986
2. Andréka, H., and Németi, I., (1981). “Applications of Universal Algebra, Model theory and Categories in Computer Science,” Proc. FCT'81, Lect. Notes in Comput. Sc. 117, Springer-Verlag, Berlin, 16–23.
3. “Towards a theory of declarative knowledge,”;Apt,1986
4. “Contributions to the theory of logic programming,”;Apt;Jour. Assoc. Comput. Mach.,1982
5. “On semantics of nondeterministic recursive program schemes,”;Arnold,1985