APA (7th ed.) Citation

Gramlich, B. (1989). Inductive theorem proving using refined unfailing completion techniques. Fachbereich Informatik, Univ. Kaiserslautern.

Chicago Style (17th ed.) Citation

Gramlich, Bernhard. Inductive Theorem Proving Using Refined Unfailing Completion Techniques. Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1989.

MLA (9th ed.) Citation

Gramlich, Bernhard. Inductive Theorem Proving Using Refined Unfailing Completion Techniques. Fachbereich Informatik, Univ. Kaiserslautern, 1989.

Warning: These citations may not always be 100% accurate.