1. Warren's Abstract Machine: a Tutorial Reconstruction;Aït-Kaci,1991
2. Associative-commutative discrimination nets;Bachmair,1993
3. Experiments with associative-commutative discrimination nets;Bachmair,1995
4. Resolution theorem proving;Bachmair,2001
5. Complexity of matching problems;Benanav;Journal of Symbolic Computation,1987