APA (7th ed.) Citation

Jakubův, J., Urban, J., Fontaine, Kaliszyk, Schulz, & Urban. (2018). Hierarchical invention of theorem proving strategies. AI Communications, 31(3), 237. https://doi.org/10.3233/AIC-180761

Chicago Style (17th ed.) Citation

Jakubův, Jan, Josef Urban, Fontaine, Kaliszyk, Schulz, and Urban. "Hierarchical Invention of Theorem Proving Strategies." AI Communications 31, no. 3 (2018): 237. https://doi.org/10.3233/AIC-180761.

MLA (9th ed.) Citation

Jakubův, Jan, et al. "Hierarchical Invention of Theorem Proving Strategies." AI Communications, vol. 31, no. 3, 2018, p. 237, https://doi.org/10.3233/AIC-180761.