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 Lecture Notes in Computer Science