1. Term Rewriting and All That;Baader,1998
2. Finer is better: abstraction refinement for rewriting approximations;Boichut,2008
3. Rewriting approximations for fast prototyping of static analyzers;Boichut,2007
4. Handling algebraic properties in automatic analysis of security protocols;Boichut,2006
5. Associative calculus with an unsolvable equivalence problem;Ceitin;Tr. Mat. Inst. Akad. Nauk,1958