1. Resets vs. aborts in linear temporal logic;Armoni,2003
2. The ForSpec temporal logic: A new temporal property-specification logic;Armoni,2002
3. The temporal logic of branching time;Ben-Ari;Acta Informatica,1983
4. Graph-based algorithms for boolean-function manipulation;Bryant;IEEE Trans, on Computers,1986
5. Finite automata and sequential networks;Brzozowski;Theoretical Computer Science,1980