1. Characterizations of Unification Type Zero;Baader,1989
2. Orderings for Equational Proofs;Bachmair,1986
3. "Unification dans les Anneaux Booléens en présence de Symboles Libres "Rapport de stage de D.E.A., Orsay, (sep 87).
4. Matching, a special case of Unification?;Bürckert;Technical Report, SR-87-08,1987
5. Embedding Boolean Expressions into Logic Programming;Büttner,1986