Journal article
(Original article)
On Inconsistency and Unsatisfiability
Publication Details
Author(s): Schröder L, Mossakowski T
Publication year: 2015
Volume: 9
Journal issue: 2
Pages range: 141--152
ISSN: 1673-7288
Language: English
FAU Authors / FAU Editors
How to cite
APA: Schröder, L., & Mossakowski, T. (2015). On Inconsistency and Unsatisfiability. International Journal of Software and Informatics, 9(2), 141--152. | |
MLA: Schröder, Lutz, and Till Mossakowski. "On Inconsistency and Unsatisfiability." International Journal of Software and Informatics 9.2 (2015): 141--152. | |