{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:46Z","timestamp":1747548346301},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676645"},{"type":"electronic","value":"9783540451013"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10721959_22","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T16:12:31Z","timestamp":1167408751000},"page":"291-296","source":"Crossref","is-referenced-by-count":2,"title":["System Description: *sat: A Platform for the Development of Modal Decision Procedures"],"prefix":"10.1007","author":[{"given":"Enrico","family":"Giunchiglia","sequence":"first","affiliation":[]},{"given":"Armando","family":"Tacchella","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Automated Deduction - Cade-13","author":"F. Giunchiglia","year":"1996","unstructured":"Giunchiglia, F., Sebastiani, R.: Building decision procedures for modal logics from propositional decision procedures - the case study of modal K. In: McRobbie, M.A., Slaney, J.K. (eds.) CADE 1996. LNCS(LNAI), vol.\u00a01104. Springer, Heidelberg (1996)"},{"key":"22_CR2","unstructured":"Giunchiglia, E., Giunchiglia, F., Tacchella, A.: SAT-Based Decision Procedures for Classical Modal Logics. Journal of Automated Reasoning (to appear)"},{"key":"22_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0030077","volume-title":"Automated Deduction - CADE-14","author":"H. Zhang","year":"1997","unstructured":"Zhang, H.: SATO: An efficient propositional prover. In: McCune, W. (ed.) CADE 1997. LNCS(LNAI), vol.\u00a01249. Springer, Heidelberg (1997)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Giunchiglia, E., Tacchella, A.: Subset-matching Size-bounded Caching for Satisfiability in Modal Logics, (2000)","DOI":"10.1007\/10722086_20"},{"key":"22_CR5","unstructured":"A system for verification and synthesis. In: Proc. CAV-96, LNAI (1996)"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Davis, M., Longemann, G., Loveland, D.: A machine program for theorem proving. Journal of the ACM\u00a05(7) (1962)","DOI":"10.1145\/368273.368557"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/S0747-7171(86)80028-1","volume":"2","author":"D.A. Plaisted","year":"1986","unstructured":"Plaisted, D.A., Greenbaum, S.: A Structure-preserving Clause Form Translation. Journal of Symbolic Computation\u00a02, 293\u2013304 (1986)","journal-title":"Journal of Symbolic Computation"},{"key":"22_CR8","unstructured":"Horrocks,I.: Optimizing Tableaux Decision Procedures for Description Logics. PhD thesis. University of Manchester (1997)"},{"key":"22_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic - an Introduction","author":"B.F. Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic - an Introduction. Cambridge University Press, Cambridge (1980)"},{"key":"22_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Fuzzy Logic in Artificial Intelligence","author":"U. Hustadt","year":"1999","unstructured":"Hustadt, U., Schmidt, R.A.: On evaluating decision procedures for modal logic. In: L. Ralescu, A. (ed.) IJCAI-WS 1997. LNCS, vol.\u00a01566. Springer, Heidelberg (1999)"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction - CADE-17"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10721959_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:42:40Z","timestamp":1556005360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10721959_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676645","9783540451013"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/10721959_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}