Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz. HORNSAT, Model Checking, Verification and games (Extended Abstract). In Rajeev Alur, Thomas A. Henzinger, editors, Computer Aided Verification, 8th International Conference, CAV 96, New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings. Volume 1102 of Lecture Notes in Computer Science, pages 99-110, Springer, 1996.
Abstract is missing.