@InProceedings{BeckertHaehnleEA98,
author = {Bernhard Beckert and Reiner H{\"a}hnle and Felip Many{\`a}},
title = {Transformations between Signed and Classical Clause Logic},
booktitle = {International Workshop/Conference on
Many-Valued Logics for Computer Applications, COST
Action 15},
venue = {Ankara, Turkey},
publisher = {Middle East Technical University},
year = {1998}
}