{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T23:04:10Z","timestamp":1791327850757,"version":"4.3.1"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540676973","type":"print"},{"value":"9783540450085","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10722086_5","type":"book-chapter","created":{"date-parts":[[2006,12,30]],"date-time":"2006-12-30T00:43:15Z","timestamp":1167439395000},"page":"57-61","source":"Crossref","is-referenced-by-count":18,"title":["Consistency Testing: The RACE Experience"],"prefix":"10.1007","author":[{"given":"Volker","family":"Haarslev","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ralf","family":"M\u00f6ller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"5_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/BF00872105","volume":"2","author":"F. Baader","year":"1994","unstructured":"Baader, F., Franconi, E., Hollunder, B., Nebel, B., Profitlich, H.J.: An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence\u00a02(4), 109\u2013138 (1994)","journal-title":"Applied Intelligence"},{"key":"5_CR2","unstructured":"Drollinger, D.: Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken (in German). Document D-93-21, Deutsches Forschungszentrum f\u00fcr K\u00fcnstliche Intelligence, Germany (1993)"},{"key":"5_CR3","unstructured":"Freeman, J.W.: Improvements to propositional satisfiability search algorithms. PhD thesis, University of Pennsylvania, Computer and Information Science (1995)"},{"key":"5_CR4","unstructured":"Haarslev, V., M\u00f6ller, R.: An empirical evaluation of optimization strategies for ABox reasoning in expressive description logics. In: Lambrix, et al. (eds.) [11], pp. 115\u2013119"},{"key":"5_CR5","unstructured":"Haarslev, V., M\u00f6ller, R.: Expressive abox reasoning with number restrictions, role hierachies, and transitively closed roles. In: Cohn, A.G., Giunchiglia, F., Selman, B. (eds.) Proc. of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR 2000) (2000)"},{"key":"5_CR6","unstructured":"Haarslev, V., M\u00f6ller, R., Turhan, A.-Y.: RACE User\u2019s guide and reference manual version 1.1. Technical Report FBI-HH-M-289\/99, University of Hamburg, Computer Science Department (October 1999)"},{"key":"5_CR7","unstructured":"Horrocks, I.: Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester (1997)"},{"key":"5_CR8","unstructured":"Horrocks, I.: Using an expressive description logic: FaCT or fiction? In: Cohn, A.G., Schubert, L., Shapiro, S. (eds.) Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR 1998), Trento, Italy, June 2-5, 1998, pp. 636\u2013647 (1998)"},{"issue":"3","key":"5_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1093\/logcom\/9.3.267","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I., Patel-Schneider, P.: Optimising description logic subsumption. Journal of Logic and Computation\u00a09(3), 267\u2013293 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: FaCT and DLP: Automated reasoning with analytic tableaux and related methods. In: Proceedings International Conference Tableaux 1998, pp. 27\u201330 (1998)","DOI":"10.1007\/3-540-69778-0_5"},{"key":"5_CR11","unstructured":"Lambrix, P., et al. (eds.): Proceedings of the International Workshop on Description Logics (DL 1999), Link\u00f6ping, Sweden, July 30 - August 1 (June 1999)"},{"issue":"2","key":"5_CR12","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R.M. Stallman","year":"1977","unstructured":"Stallman, R.M., Sussman, G.J.: Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Articial Intelligence\u00a09(2), 135\u2013196 (1977)","journal-title":"Articial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10722086_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T11:47:17Z","timestamp":1556020037000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10722086_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676973","9783540450085"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/10722086_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2000]]}}}