The Optimal Fixedpoint of Recursive Programs

Zohar Manna, Adi Shamir

Browse the full STOC paper archive.