APA (7th ed.) Citation

Audemard, G., Benhamou, B., & Henocque, L. (2006). Predicting and Detecting Symmetries in FOL Finite Model Search. Journal of automated reasoning, 36(3), 177-212. https://doi.org/10.1007/s10817-006-9040-3

Chicago Style (17th ed.) Citation

Audemard, Gilles, Belaïd Benhamou, and Laurent Henocque. "Predicting and Detecting Symmetries in FOL Finite Model Search." Journal of Automated Reasoning 36, no. 3 (2006): 177-212. https://doi.org/10.1007/s10817-006-9040-3.

MLA (9th ed.) Citation

Audemard, Gilles, et al. "Predicting and Detecting Symmetries in FOL Finite Model Search." Journal of Automated Reasoning, vol. 36, no. 3, 2006, pp. 177-212, https://doi.org/10.1007/s10817-006-9040-3.