{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:29:17Z","timestamp":1725488957642},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439318"},{"type":"electronic","value":"9783540456209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45620-1_14","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T07:18:26Z","timestamp":1186903106000},"page":"156-160","source":"Crossref","is-referenced-by-count":4,"title":["HyLoRes 1.0: Direct Resolution for Hybrid Logics"],"prefix":"10.1007","author":[{"given":"Carlos","family":"Areces","sequence":"first","affiliation":[]},{"given":"Juan","family":"Heguiabehere","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,4]]},"reference":[{"key":"14_CR1","series-title":"PhD thesis","volume-title":"Logic Engineering. The Case of Description and Hybrid Logics","author":"C. Areces","year":"2000","unstructured":"C. Areces. Logic Engineering. The Case of Description and Hybrid Logics. PhD thesis, ILLC, University of Amsterdam, The Netherlands, October 2000."},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"977","DOI":"10.2307\/2695090","volume":"66","author":"C. Areces","year":"2001","unstructured":"C. Areces, P. Blackburn, and M. Marx. Hybrid logic: Characterization, interpolation and complexity. J. Symb. Logic, 66(3):977\u20131010, 2001","journal-title":"J. Symb. Logic"},{"issue":"5","key":"14_CR3","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1093\/logcom\/11.5.717","volume":"11","author":"C. Areces","year":"2001","unstructured":"C. Areces, H. de Nivelle, and M. de Rijke. Resolution in modal, description and hybrid logic. J. Logic and Comp., 11(5):717\u2013736, 2001.","journal-title":"J. Logic and Comp."},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00302639","volume":"6","author":"Y. Auffray","year":"1990","unstructured":"Y. Auffray, P. Enjalbert, and J. Hebrard. Strategies for modal resolution: results and problems. J. Autom. Reas., 6(1):1\u201338, 1990.","journal-title":"J. Autom. Reas."},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1093\/logcom\/10.1.137","volume":"10","author":"P. Blackburn","year":"2000","unstructured":"P. Blackburn. Internalizing labelled deduction. J. Logic and Comp., 10(1):137\u2013168, 2000.","journal-title":"J. Logic and Comp."},{"key":"14_CR6","unstructured":"V. Haarslev and R. M\u00f6ller. RACE system description. InA. Borgida, R. M\u00f6ller M. Lenzerini, and P. Patel-Schneider, (eds.) Proc. of the 1999 Int. Workshop on Description Logics (DL\u201999), 1999 Lambrix et al. [9], pages 130\u2013132."},{"key":"14_CR7","unstructured":"I. Horrocks. FaCT and iFaCT. In A. Borgida, R. M\u00f6ller M. Lenzerini, and P. Patel-Schneider, (eds.) Proc. of the 1999 Int. Workshop on Description Logics (DL\u201999), 1999 Lambrix et al. [9], pages 133\u2013135."},{"key":"14_CR8","unstructured":"U. Hustadt, R. A. Schmidt, and C. Weidenbach. MSPASS: Subsumption testing with SPASS. In A. Borgida, R. M\u00f6ller M. Lenzerini, and P. Patel-Schneider, (eds.) Proc. of the 1999 Int. Workshop on Description Logics (DL\u201999), 1999Lambrix et al. [9], pages 136\u2013137."},{"key":"14_CR9","unstructured":"P. Lambrix, A. Borgida, R. M\u00f6ller M. Lenzerini, and P. Patel-Schneider, (eds.) Proc. of the 1999 Int. Workshop on Description Logics (DL\u201999), 1999."},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"F Massacci. Design and results of the tableaux-99 non-classical (modal) systems comparison. In N. Murray, (ed.), Proc. of TABLEAUX\u201999, number 1617 of LNAI, pages 14\u201318. Springer, 1999.","DOI":"10.1007\/3-540-48754-9_2"},{"key":"14_CR11","unstructured":"P. Patel-Schneider. DLP system description. In E. Franconi, G. De Giacomo, R. MacGregor, W. Nutt, and C. Welty, (eds.), Proc. of the 1998 Int. Workshop on Description Logics (DL\u201998), pages 87\u201389, 1998."},{"key":"14_CR12","first-page":"135","volume":"4","author":"G. Robinson","year":"1969","unstructured":"G. Robinson and L. Wos. Paramodulation and theorem-proving in first-order theories with equality. In Mach. Int. 4:135\u2013150, 1969.","journal-title":"Mach. Int."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"A. Voronkov. Algorithms, datastructures, and other issues in efficient automated deduction. In R. Gor\u00e9, A. Leitsch, and T. Nipkow, (eds.), Automated Reasoning. 1st. Int. Joint Conf., IJCAR 2001, number 2083 of LNAI, pages 13\u201328, Italy, 2001.","DOI":"10.1007\/3-540-45744-5_3"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction\u2014CADE-18"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45620-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T23:56:26Z","timestamp":1556754986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45620-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439318","9783540456209"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45620-1_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}