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