@article{DBLP:journals/tcs/BesnardS00,
  title = {What is a (non-constructive) non-monotone logical system?},
  author = {Besnard, Philippe and Schaub, Torsten},
  journal = {Theor. Comput. Sci.},
  number = {1-2},
  pages = {489--494},
  volume = {238},
  year = {2000}
}