APA (7th ed.) Citation

Alpuente, M., del Mar Gallardo, M., Pimentel, E., & Villanueva, A. (2005). Abstract Model Checking of tccp programs. Electronic notes in theoretical computer science, 112, 19-36. https://doi.org/10.1016/j.entcs.2004.01.024

Chicago Style (17th ed.) Citation

Alpuente, María, María del Mar Gallardo, Ernesto Pimentel, and Alicia Villanueva. "Abstract Model Checking of Tccp Programs." Electronic Notes in Theoretical Computer Science 112 (2005): 19-36. https://doi.org/10.1016/j.entcs.2004.01.024.

MLA (9th ed.) Citation

Alpuente, María, et al. "Abstract Model Checking of Tccp Programs." Electronic Notes in Theoretical Computer Science, vol. 112, 2005, pp. 19-36, https://doi.org/10.1016/j.entcs.2004.01.024.