APA (7th ed.) Citation

EBERHARD, S., HETZL, S., & WELLER, D. (2017). Boolean unification with predicates. Journal of Logic & Computation, 27(1), 109. https://doi.org/10.1093/logcom/exv059

Chicago Style (17th ed.) Citation

EBERHARD, SEBASTIAN, STEFAN HETZL, and DANIEL WELLER. "Boolean Unification with Predicates." Journal of Logic & Computation 27, no. 1 (2017): 109. https://doi.org/10.1093/logcom/exv059.

MLA (9th ed.) Citation

EBERHARD, SEBASTIAN, et al. "Boolean Unification with Predicates." Journal of Logic & Computation, vol. 27, no. 1, 2017, p. 109, https://doi.org/10.1093/logcom/exv059.