HORNSAT, Model Checking, Verification and games (Extended Abstract).

Sandeep K. Shukla, Harry B. Hunt III, Daniel J. Rosenkrantz

Browse the full CAV paper archive.