Skip to content

Perpetuities Reasoning Captured and Automated in a Logic Program.

Barnett Glickfeld

VenueCICAIL
Year1991
ProceedingsICAIL

Browse the full ICAIL paper archive.