Serrano Mena, Alejandro and López García, Pedro and Bueno Carrillo, Francisco and Hermenegildo, Manuel V. (2013). Sized Type Analysis for Logic Programs (Technical Communication). "Theory and Practice of Logic Programming", v. 13 (n. 4-5 (S); pp. 1-15. ISSN 1471-0684.