Perpetuities Reasoning Captured and Automated in a Logic Program.

Barnett Glickfeld Perpetuities Reasoning Captured and Automated in a Logic Program. 128-136 1991 ICAIL http://doi.acm.org/10.1145/112646.112662 db/conf/icail/icail91.html#Glickfeld91