Sandro Etalle Jon Mountjoy The lazy functional side of logic programming. 2000 LOPSTR ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-etalle.ps.Z db/conf/lopstr/lopstr2000.html#EtalleM00