Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren. Logic Programming and Model Checking. In Catuscia Palamidessi, Hugh Glaser, Karl Meinke, editors, Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings. Volume 1490 of Lecture Notes in Computer Science, pages 1-20, Springer, 1998. [doi]
Abstract is missing.