Cita APA (7a ed.)

Bruell, P. L. (1985). An agenda driven theorem prover. University Microfilms International.

Cita Chicago Style (17a ed.)

Bruell, Peter Leonard. An Agenda Driven Theorem Prover. Ann Arbor: University Microfilms International, 1985.

Cita MLA (9a ed.)

Bruell, Peter Leonard. An Agenda Driven Theorem Prover. University Microfilms International, 1985.