APA (7th ed.) Citation

Bulwahn, L. (2013). Counterexample generation for higher-order logic using functional and logic programming.

Chicago Style (17th ed.) Citation

Bulwahn, Lukas. Counterexample Generation for Higher-order Logic Using Functional and Logic Programming. 2013.

MLA (9th ed.) Citation

Bulwahn, Lukas. Counterexample Generation for Higher-order Logic Using Functional and Logic Programming. 2013.

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