Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: term-rewriting systems
RP905
1998 Research Paper
Monroy-Borja,R
;
Bundy,A
;
Green,I
Observant: an Annotated Term-Rewriting System for Deciding Observation Congruence