Shukla, Hunt, Rosenkrantz, 1996. HORNSAT, model checking, verification and games, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/3-540-61474-5_61