A logical operational semantics of full Prolog. Part I: Selection core and control (1990)

by E Börger
Venue:In: Proc. of the 3rd Int’l Workshop on Computer Science Logic (CSL’89). Springer LNCS 440