APA Edition Citation

Claesen, L. J. M. (1993). Higher order logic theorem proving and its applications.

Chicago Edition Citation

Claesen, Luc J M. Higher Order Logic Theorem Proving and Its Applications. North-Holland Publishing Co., Amsterdam, 1993.

MLA Edition Citation

Claesen, Luc J M. Higher Order Logic Theorem Proving and Its Applications. 1993.

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