APA (7th ed.) Citation

Bruell, P. L. (1981). An agenda driven theorem prover. Univ. Microfilms Internat.

Chicago Style (17th ed.) Citation

Bruell, Peter L. An Agenda Driven Theorem Prover. Ann Arbor, Mich. (u.a.): Univ. Microfilms Internat, 1981.

MLA (9th ed.) Citation

Bruell, Peter L. An Agenda Driven Theorem Prover. Univ. Microfilms Internat, 1981.