Simple Programs and Their Decision Problems.

Amir Pnueli, Giora Slutzki

Browse the full ICALP paper archive.