@inproceedings{BeckertHaehnleManya99survey,
   author        = {Bernhard Beckert and Reiner H{\"{a}}hnle and
		    Felip Many{\`a}},
   title         = {A Survey of Signed {CNF} Formulas},
   booktitle     = {Affiliated Symposium on Many-Valued Logics for
                    Computer Science Applications},
   volume        = {Abstracts, 11th International Congress of
                    Logic, Methodology and Philosophy of Science},
   venue         = {Cracow, Poland},
   pagetotal     = {477},	  
   publisher     = {International Union of History and Philosophy of
		    Science},
   month         = aug,		  
   year          = {1999}
}