Completion and equational theorem proving using taxonomic constraints - Denzinger, Jörg (Universität <Kaiserslautern> / SEKI-Projekt: SEKI-Report, 1995)