Some results and experiments in programming techniques for propositional logic.

Charles E. Blair Robert G. Jeroslow James K. Lowe Some results and experiments in programming techniques for propositional logic. 633-645 1986 13 Computers & OR 5 http://dx.doi.org/10.1016/0305-0548(86)90056-0 db/journals/cor/cor13.html#BlairJL86