Hideki Hirakawa Takashi Chikayama Koichi Furukawa Eager and Lazy Enumerations in Concurrent Prolog. 89-100 1984 ICLP db/conf/iclp/iclp84.html#HirakawaCF84