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

Sandeep K. Shukla Harry B. Hunt III Daniel J. Rosenkrantz HORNSAT, Model Checking, Verification and games (Extended Abstract). 99-110 1996 conf/cav/1996 CAV db/conf/cav/cav96.html#ShuklaHR96 http://dx.doi.org/10.1007/3-540-61474-5_61