m-h-m-cheng documents

Documents Compositional operational semantics for Prolog programs