American Psychological Association 6th edition

ALPUENTE, M., GALLARDO, M. D., PIMENTEL, E., & VILLANUEVA, A. (2005, January 1). A semantic framework for the abstract model checking of tccp programs. 346(1). Amsterdam: Elsevier, 2005. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17298321

ISO-690 (author-date, English)

ALPUENTE, Maria, GALLARDO, Maria Del, PIMENTEL, Ernesto and VILLANUEVA, Alicia, 2005. A semantic framework for the abstract model checking of tccp programs. In: [online]. Amsterdam: Elsevier, 2005. 1 January 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17298321

Modern Language Association 9th edition

ALPUENTE, M., M. D. GALLARDO, E. PIMENTEL, and A. VILLANUEVA. A semantic framework for the abstract model checking of tccp programs. no. 1, Amsterdam: Elsevier, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17298321.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

ALPUENTE, M., GALLARDO, M.D., PIMENTEL, E. and VILLANUEVA, A. (2005), “A semantic framework for the abstract model checking of tccp programs”, in , Vol. 346, Amsterdam: Elsevier, 2005., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=17298321.

Warning: These citations may not always be 100% accurate.