APA (7th ed.) Citation

ANTOY, S. (2011). On the correctness of pull-tabbing. Theory and practice of logic programming, 11(4-5), 713-730. https://doi.org/10.1017/S1471068411000263

Chicago Style (17th ed.) Citation

ANTOY, SERGIO. "On the Correctness of Pull-tabbing." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 713-730. https://doi.org/10.1017/S1471068411000263.

MLA (9th ed.) Citation

ANTOY, SERGIO. "On the Correctness of Pull-tabbing." Theory and Practice of Logic Programming, vol. 11, no. 4-5, 2011, pp. 713-730, https://doi.org/10.1017/S1471068411000263.