TITLE     : A rewriting strategy to verify observational congruence
AUTHOR(S) : Inverardi P., Nesi M.
TYPE      : Journal article
YEAR      : 1990
CODE      : 452756

*** DO NOT EDIT THIS FILE ***