Resource usage verification (2003)

by P J Stuckey K Marriott, M Sulzmann
Venue:In Proc. of First Asian Programming Languages Symposium, APLAS