Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence.

Ral Monroy, Alan Bundy, Ian Green

Browse the full ECAI paper archive.