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