Alejandro Serrano, Pedro Lopez-Garcia, Manuel Hermenegildo. Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. 23rd Workshop on Logic-based Methods in Programming Environments (WLPE 2013), pages 15, August 2013. CoRR abs/1308.3940.