@InProceedings{BeckertHaehnleManya2000,
author = {Bernhard Beckert and Reiner H\"ahnle and Felip Many\`a},
title = {The {2-SAT} Problem of Regular Signed {CNF} Formulas},
booktitle = {30th {IEEE} International Symposium on Multiple-Valued
Logic ({ISMVL} 2000)},
venue = {Portland, Oregon, {USA}},
publisher = {{IEEE} Computer Society},
eventdate = {2000-05-23/2000-05-25},
month = may,
year = {2000} ,
doi = {10.1109/ISMVL.2000.848640}
}