Sized Type Analysis for Logic Programs by A. Serrano, P. Lopez-Garcia, F. Bueno, and M.V. Hermenegildo. Published as a technical communication in Theory and Practice of Logic Programming, 29th Int’l. Conference on Logic Programming (ICLP’13) Special Issue, TPLP 13 (4-5): Online Supplement, July 2013.