A Logical Operational Semantics of Full Prolog. Part II: Built-in Predicates for Database Manipulation (1990)

by E Börger
Venue:Mathematical Foundations of Computer Science, volume 452 of LNCS