Minimal consequence in sentential logic
Tài liệu tham khảo
Chang, 1973
Davis, 1980, The Mathematics of Non-monotonic Reasoning, Artificial Intelligence, 13, 10.1016/0004-3702(80)90013-2
Hinman, 1978
Schlipf, 1987, Decidability and Definability with Circumscription, Ann. Pure Appl. Logic, 35, 173, 10.1016/0168-0072(87)90062-5
Stockmeyer, 1987, Classifying the Computational Complexity of Problems, J. Symbolic Logic, 52, 1, 10.2307/2273858