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 2018-04-19 at 03:46
PDF downloaded successfully