Tom M. Cavalier, Panos M. Pardalos, Allen L. Soyster: Modeling and integer programming techniques applied to propositional calculus. Comput. Oper. Res. 17(6): 561-570 (1990)