A Framework for Verification and Debugging of Resource Usage Properties - BUENO CARRILLO, FRANCISCO (Technical Communications Of The 26th International Conference On Logic Programming, Iclp 2010, 2010)