First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract).

Maarten H. van Emden

Browse the full LICS paper archive.