First-Order Predicate Logic as a Common Basis for Relational and Functional (1987)

by M van Emden
Venue:Programming, Proceedings of the Second Annual Symposium on Logic in Computer Science