Alejandro Serrano, Pedro Lopez-Garcia, F. Bueno, Manuel Hermenegildo. Sized Type Analysis for Logic Programs (Technical Communication). Vol. 13, Num. 4-5, pages 1–14, Cambridge U. Press, August 2013.