APA (7th ed.) Citation

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 Style (17th ed.) Citation

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 (9th ed.) Citation

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.