10.1109/32.256850
10.1007/3-540-60472-3_1
10.1145/963778.963782
10.1016/0169-7552(89)90078-0
10.1109/FMCAD.2009.5351139
10.1145/571637.571640
10.1007/BF01843566
10.1109/ACSD.2010.26
10.1007/s10009-008-0083-0
10.1007/3-540-48153-2_12
10.4230/LIPIcs.FSTTCS.2011.399
10.1145/1755913.1755950
10.1007/s10703-009-0084-y
10.1137/0217058
10.1016/0022-0000(81)90039-8
10.1007/s10009-004-0146-9
10.1145/1658357.1658358
10.1007/BF00289237
10.1145/1095810.1095817
10.1145/75277.75293
10.1007/BFb0035790
10.1109/2.58235
10.1007/3-540-55092-5_13
10.1007/978-3-540-71410-1_10
10.1007/3-540-58715-2_121