@article{BesnardSchaub1998,
  author    = {Philippe Besnard and Torsten H. Schaub},
  title     = {Characterization of non-monotone non-constructive systems},
  year      = {1998},
}