@article{BesnardSchaub2000,
  author    = {Philippe Besnard and Torsten H. Schaub},
  title     = {What is a (non-constructive) non-monotone logical system?},
  year      = {2000},
}