APA (7th ed.) Citation

Alpuente, M., Ballis, D., Correa, F., & Falaschi, M. (2010). An integrated framework for the diagnosis and correction of rule-based programs. Theoretical computer science, 411(47), 4055-4101. https://doi.org/10.1016/j.tcs.2010.07.009

Chicago Style (17th ed.) Citation

Alpuente, M., D. Ballis, F. Correa, and M. Falaschi. "An Integrated Framework for the Diagnosis and Correction of Rule-based Programs." Theoretical Computer Science 411, no. 47 (2010): 4055-4101. https://doi.org/10.1016/j.tcs.2010.07.009.

MLA (9th ed.) Citation

Alpuente, M., et al. "An Integrated Framework for the Diagnosis and Correction of Rule-based Programs." Theoretical Computer Science, vol. 411, no. 47, 2010, pp. 4055-4101, https://doi.org/10.1016/j.tcs.2010.07.009.