A Formal Operational Semantics for Languages of Type Prolog III.

Egon Brger, Peter H. Schmitt

Browse the full CSL paper archive.