Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.

Thierry Castell Claudette Cayrol Michel Cayrol Daniel Le Berre Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models. 350-354 1996 conf/ecai/1996 ECAI db/conf/ecai/ecai96.html#CastellCCB96