Authors: Aaron R. Bradley, Zohar Manna, Henny B. Sipma - Lecture notes in computer science 2005 cited by 291
