Knowledge Processing and Information Systems
Signed Systems for Paraconsistent Reasoning

@article{DBLP:journals/jar/BesnardS98,
  title = {Signed Systems for Paraconsistent Reasoning},
  author = {Besnard, Philippe and Schaub, Torsten},
  journal = {J. Autom. Reasoning},
  number = {1},
  pages = {191--213},
  volume = {20},
  year = {1998}
}