APA (7th ed.) Citation

Alpuente, M., del Mar Gallardo, M., Pimentel, E., & Villanueva, A. (2005). A semantic framework for the abstract model checking of tccp programs. Theoretical computer science, 346(1), 58-95. https://doi.org/10.1016/j.tcs.2005.08.009

Chicago Style (17th ed.) Citation

Alpuente, María, María del Mar Gallardo, Ernesto Pimentel, and Alicia Villanueva. "A Semantic Framework for the Abstract Model Checking of Tccp Programs." Theoretical Computer Science 346, no. 1 (2005): 58-95. https://doi.org/10.1016/j.tcs.2005.08.009.

MLA (9th ed.) Citation

Alpuente, María, et al. "A Semantic Framework for the Abstract Model Checking of Tccp Programs." Theoretical Computer Science, vol. 346, no. 1, 2005, pp. 58-95, https://doi.org/10.1016/j.tcs.2005.08.009.