A Logical Operational Semantics of Full Prolog. Part I: Selection Core and Control.

Egon Brger

Browse the full CSL paper archive.