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



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.

BibTeX: Download
Share link
Last updated on 2017-03-25 at 02:41
PDF downloaded successfully