Toni Jussila Keijo Heljanko Ilkka Niemelä BMC via on-the-fly determinization. 89-101 2005 7 STTT 2 http://dx.doi.org/10.1007/s10009-004-0178-1 db/journals/sttt/sttt7.html#JussilaHN05