The University of Edinburgh -
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


[Search These Pages] [DAI Home Page] [Comment]