Applying the Davis-Putnam Procedure to Non-clausal Formulas

@inproceedings{Giunchiglia1999ApplyingTD,
  title={Applying the Davis-Putnam Procedure to Non-clausal Formulas},
  author={Enrico Giunchiglia and Roberto Sebastiani},
  year={1999}
}