On the representation of infinite data and queries (1991)

by M Baudinet, M Niezette, P Wolper
Venue:ACM Symposium on Principles of Database Systems