The Declarative Semantics of the Prolog Selection Rule

Robert F. Strk

Browse the full LICS paper archive.