A mathematical de of full PROLOG (1994)

by Egon Borger, Dean Rosenzweig
Venue:Science of Computer Programming