Schröder L, Mossakowski T (2015)
Publication Language: English
Publication Type: Journal article, Original article
Publication year: 2015
Book Volume: 9
Pages Range: 141--152
Journal Issue: 2
URI: http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i212
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