The SAT Problem of Signed CNF Formulas

@InCollection{	  BeckertHaehnleManyaLD99,
  author        = {Bernhard Beckert and Reiner H\"ahnle and Felip
		   Manya},
  title         = {The SAT Problem of Signed CNF Formulas}, 		  
  booktitle	= {Labelled Deduction},
  editor	= {M. D'Agostino and D. Basin and D. Gabbay and
		  S. Matthews and L. Vigano},
  pages         = {59--80},		  
  publisher	= {Kluwer, Dordrecht},
  year		= {2000}
}