Samuel Kamin
Univ. of Illinois, Urbana
Using Term Rewriting to Verify Software
IEEE Transactions on Software Engineering