APA (7th ed.) Citation

DE NIVELLE, H. (2017). Theorem proving for classical logic with partial functions by reduction to Kleene logic. Journal of Logic & Computation, 27(2), 509. https://doi.org/10.1093/logcom/exu071

Chicago Style (17th ed.) Citation

DE NIVELLE, HANS. "Theorem Proving for Classical Logic with Partial Functions by Reduction to Kleene Logic." Journal of Logic & Computation 27, no. 2 (2017): 509. https://doi.org/10.1093/logcom/exu071.

MLA (9th ed.) Citation

DE NIVELLE, HANS. "Theorem Proving for Classical Logic with Partial Functions by Reduction to Kleene Logic." Journal of Logic & Computation, vol. 27, no. 2, 2017, p. 509, https://doi.org/10.1093/logcom/exu071.