TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten H. T1 - Characterization of non-monotone non-constructive systems Y1 - 1998 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/22346 SN - 1012-2443 ER -