1. Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115–146, January 1989.
2. Robert W. Burch. Valental aspects of Peircean Algebraic Logic. In Fritz Lehmann, editor, Semantic Networks in Artificial Intelligence. Pergamon Press, Oxford, 1992. Also appeared in Comp. & Math. with Applications, 23(2–9), 1992, p. 665–667.
3. Yves Caseau. Efficient handfing of multiple inheritance hierarchies. In OOPSLA'93, Washington, September 1993.
4. A. G. Cohn. Completing sort hierarchies. Computers and Mathematics with Applications, 23(2–9):1–50, 1992. Also appears as Semantic Networks in Artificial Intelligence, F. Lehmann, ed., Pergamon Press, Oxford, 1992.
5. D. G. Cornell and D. G. Kirkpatrick. A theoretical analysis of various heuristics for the graph isomorphism problem. SIAM Journal of Computing, 9(2), 1980.