1. L. Bachmair, N. Dershowitz, and J. Hsiang. Orderings for equational proofs. In Proceedings of the Symposium on Logic in Computer Science, pages 346–357, IEEE, June 1986
2. Model-Theoretic Logics,1985
3. Axioms for abstract model theory;Barwise;Ann. Math. Logic.,1974
4. Structures algébriques dans les catégories;Bénabou;Cahiere de Topologie et Géometrie Différentielle,1968
5. Characterization of computable data types by means of a finite equational specification method;Bergstra,1980