APA (7th ed.) Citation

Jensen, A. B., Larsen, J. B., Schlichtkrull, A., Villadsen, J., Fontaine, Kaliszyk, . . . Urban. (2018). Programming and verifying a declarative first-order prover in Isabelle/HOL. AI Communications, 31(3), 281. https://doi.org/10.3233/AIC-180764

Chicago Style (17th ed.) Citation

Jensen, Alexander Birch, John Bruntse Larsen, Anders Schlichtkrull, Jørgen Villadsen, Fontaine, Kaliszyk, Schulz, and Urban. "Programming and Verifying a Declarative First-order Prover in Isabelle/HOL." AI Communications 31, no. 3 (2018): 281. https://doi.org/10.3233/AIC-180764.

MLA (9th ed.) Citation

Jensen, Alexander Birch, et al. "Programming and Verifying a Declarative First-order Prover in Isabelle/HOL." AI Communications, vol. 31, no. 3, 2018, p. 281, https://doi.org/10.3233/AIC-180764.