Alejandro Serrano, Pedro Lopez-Garcia, Manuel Hermenegildo. Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory and Practice of Logic Programming, 30th Int’l. Conference on Logic Programming (ICLP’14) Special Issue, Vol. 14, Num. 4-5, pages 739–754, Cambridge U. Press, 2014.