@article{b8b863e82f7e4c2482eea9f861de4def,
title = "Bounded LTL Model Checking with Stable Models",
keywords = "bounded model checking, LTL, stable models, step semantics, bounded model checking, LTL, stable models, step semantics, bounded model checking, LTL, stable models, step semantics",
author = "Keijo Heljanko and Ilkka Niemel{\"a}",
year = "2003",
doi = "10.1017/S1471068403001790",
language = "English",
volume = "3",
pages = "519--550",
journal = "Theory and Practice of Logic Programming",
issn = "1471-0684",
publisher = "Cambridge University Press",
number = "4 & 5",
}