Deciding Properties of Nonregular Programs (Preliminary Version)

David Harel, Danny Raz

Browse the full FOCS paper archive.