Christian Blumenröhr Dirk Eisenbiegler An Efficient Representation for Formal Synthesis. 9-15 1997 ISSS http://computer.org/proceedings/isss/7949/79490009abs.htm db/conf/isss/isss1997.html#BlumenrohrE97