William G. Golson Toward a Declarative Semantics for Infinite Objects in Logic Programming. 151-164 1988 5 J. Log. Program. 2 db/journals/jlp/jlp5.html#Golson88