@inproceedings{TEMP:conf/pricai/BesnardS98,
  author = {Besnard, P. and Schaub, T.},
  title = {Characterization of non-monotone non-constructive systems},
  booktitle = {Proceedings of the Fifth Pacific Rim International Conference on Artificial Intelligence (PRICAI'98)},
  pages = {134--145},
  publisher = {Springer},
  year = {1998}
}