PP92 | 1991 Paper in Conference Proceedings | Ross,B; Smaill,AD |
---|---|---|
An Algebraic Semantics of Prolog Program Termination | ||
RP905 | 1998 Research Paper | Monroy-Borja,R; Bundy,A; Green,I |
Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence | ||
RP488 | 1990 Research Paper | Ross,B; Wilk,P |
A Semantic Approach to Proving Prolog Transformations Using Cut |