Implementing a Generalized Version of Resolution. - Heidi E. Dixon; Matthew L. Ginsberg; David K. Hofer; Eugene M. Luks; Andrew J. Parkes (AAAI, 2004)

Generalizing Boolean Satisfiability III: Implementation. - Heidi E. Dixon; Matthew L. Ginsberg; David K. Hofer; Eugene M. Luks; Andrew J. Parkes (J. Artif. Intell. Res., 2005)