@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}
}