Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types by A. Serrano, P. López-García, and M.V. Hermenegildo. Published in the Proceedings of the 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013) edited by R. Haemmerlé, J. Morales, August 2013.