APA (7th ed.) Citation

Hendriks, M., Kaliszyk, C., van Raamsdonk, F., & Wiedijk, F. (2010). Teaching Logic Using a State-of-the-Art Proof Assistant. Acta Didactica Napocensia, 3(2), 35.

Chicago Style (17th ed.) Citation

Hendriks, Maxim, Cezary Kaliszyk, Femke van Raamsdonk, and Freek Wiedijk. "Teaching Logic Using a State-of-the-Art Proof Assistant." Acta Didactica Napocensia 3, no. 2 (2010): 35.

MLA (9th ed.) Citation

Hendriks, Maxim, et al. "Teaching Logic Using a State-of-the-Art Proof Assistant." Acta Didactica Napocensia, vol. 3, no. 2, 2010, p. 35.