A mathematical definition of full Prolog (1995)

by E Börger, D Rosenzweig
Venue:Science of Computer Programming