Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: control
RP488
1990 Research Paper
Ross,B
; Wilk,P
A Semantic Approach to Proving Prolog Transformations Using Cut