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