@article{3e8f072c3f40457796671fc83675d4c1,
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 = "1475-3081",
publisher = "Cambridge University Press",
number = "4 \& 5",
}