@article{ttj:otfj,
author = {Toni Jussila and Keijo Heljanko and Ilkka Niemel\"a},
journal = {International Journal on Software Tools for Technology Transfer},
number = {2},
pages = {89--101},
title = {{BMC} via On-the-Fly Determinization},
volume = {7},
year = {2005},
}