Fuchs, M. (1994). The application of goal-oriented heuristics for proving equational theorems via the unfailing Knuth-Bendix completion procedure: A case study: lattice ordered groups. Univ., Fachbereich Informatik.
Chicago-Zitierstil (17. Ausg.)Fuchs, Matthias. The Application of Goal-oriented Heuristics for Proving Equational Theorems via the Unfailing Knuth-Bendix Completion Procedure: A Case Study: Lattice Ordered Groups. Kaiserslautern: Univ., Fachbereich Informatik, 1994.
MLA-Zitierstil (9. Ausg.)Fuchs, Matthias. The Application of Goal-oriented Heuristics for Proving Equational Theorems via the Unfailing Knuth-Bendix Completion Procedure: A Case Study: Lattice Ordered Groups. Univ., Fachbereich Informatik, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.