Keijo Heljanko, Ilkka Niemelä. Bounded LTL Model Checking with Stable Models. In Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski, editors, Logic Programming and Nonmonotonic Reasoning, 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001, Proceedings. Volume 2173 of Lecture Notes in Computer Science, pages 200-212, Springer, 2001. [doi]
Abstract is missing.