Andrew Heaton Patricia M. Hill Andy King Analysis of Logic Programs with Delay. 148-167 1997 conf/lopstr/1997 LOPSTR http://link.springer.de/link/service/series/0558/bibs/1463/14630148.htm db/conf/lopstr/lopstr97.html#HeatonHK97