Completion and equational theorem proving using taxonomic constraints - Denzinger, Jörg (Fachbereich Informatik, Univ., 1995)