Debray, S.K. and López García, Pedro and Hermenegildo, Manuel V. and Lin, Nai-Wei (1994). Estimating the computational cost of logic programs. In: "First International Static Analysis Symposium, SAS '94", September 28-30, 1994, Namur, Belgium. ISBN 9783540584858.