A Logical Operational Semantics for Full Prolog. Part I: Selection Core and Control (1990)

by E Börger
Venue:CSL’89. 3rd Workshop on Computer Science Logic, volume 440 of LNCS