Karl-Hans Bläsius. Equality Reasoning with Equality-paths. In Herbert Stoyan, editor, GWAI-85, 9th German Workshop on Artificial Intelligence, Dassel/Solling, September 23-27, 1985, Proceedings. Volume 118 of Informatik-Fachberichte, pages 57-76, Springer, 1985.