DMCA

Semantic Matching in Rewrite Theories (1997)

by Subrata Mitra , Nachum Dershowitz