Philippe Besnard Torsten Schaub Signed Systems for Paraconsistent Reasoning. 191-213 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#BesnardS98