{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:24:42Z","timestamp":1725456282033},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540629207"},{"type":"electronic","value":"9783540690467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027414","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:34:36Z","timestamp":1132641276000},"page":"188-200","source":"Crossref","is-referenced-by-count":6,"title":["Two loop detection mechanisms: A comparison"],"prefix":"10.1007","author":[{"given":"Jacob M.","family":"Howe","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"crossref","first-page":"795","DOI":"10.2307\/2275431","volume":"57","author":"R. Dyckhoff","year":"1992","unstructured":"Dyckhoff, R.: Contraction-free Sequent Calculi for Intuitionistic Logic. Journal of Symbolic Logic 57(3) (1992) 795\u2013807","journal-title":"Journal of Symbolic Logic"},{"key":"14_CR2","unstructured":"Dyckhoff, R.: MacLogic implementation. Available from URL http:\/\/www-theory.dcs.stand. ac.uk\/\u223crd\/logic\/soft.html"},{"key":"14_CR3","unstructured":"Dyckhoff, R., Pinto, L.: A Permutation-free Sequent Calculus for Intuitionistic Logic. University of St Andrews Research Report CS\/96\/9 (1996)"},{"key":"14_CR4","unstructured":"Dyckhoff, R., Pinto, L.: Implementation of a Loop-free Method for Construction of Countermodels for Intuitionistic Prepositional Logic. University of St Andrews Research Report CS\/96\/8 (1996)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Gabbay, D.: Algorithmic Proof With Diminishing Resources, Part 1. Proceedings of the 1990 workshop Computer Science Logic, eds. B\u00f6rger, E., Kleine B\u00fcning, H., Richter, M. M., Sch\u00f6nfeld, W.; Springer LNCS 533 (1991) 156\u2013173","DOI":"10.1007\/3-540-54487-9_58"},{"key":"14_CR6","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J.-Y. Girard","year":"1991","unstructured":"Girard, J.-Y.: A New Constructive Logic: Classical Logic. Mathematical Structures in Computer Science 1 (1991) 255\u2013296","journal-title":"Mathematical Structures in Computer Science"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Herbelin, H.: A \u03bb-calculus Structure Isomorphic to Gentzen-style Sequent Calculus Structure. Proceeding of the 1994 workshop Computer Science Logic, eds. Pacholski, L., Tiuryn, J.; Springer LNCS 933 (1995) 61\u201375","DOI":"10.1007\/BFb0022247"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Heuerding, A., J\u00e4ger, G., Schwendimann, S., Seyfried, M.: Propositional Logics on the Computer. Proceedings of the 1995 international workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX '95), eds. Baumgartner, P., H\u00e4hnle, R., Posegga, J.; Springer LNAI 918 (1995) 310\u2013323","DOI":"10.1007\/3-540-59338-1_44"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Heuerding, A., Seyfried, M., Zimmermann, H.: Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics. Proceedings of the 1996 international workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX '96), eds. Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M.; Springer LNAI 1071 (1996) 210\u2013225","DOI":"10.1007\/3-540-61208-4_14"},{"key":"14_CR10","unstructured":"Howe, J.M.: Theorem Proving and Partial Proof Search for Intuitionistic Propositional Logic Using a Permutation-free Calculus with Loop Checking. University of St Andrews Research Report CS\/96\/12 http:\/\/www-theory.cs.st-and.ac.uk\/\u223cjacob\/papers\/tpil.html (1996)"},{"issue":"5","key":"14_CR11","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1093\/logcom\/2.5.619","volume":"2","author":"D. Sahlin","year":"1992","unstructured":"Sahlin, D., Franz\u00e9n, T., Haridi, S.: An Intuitionistic Predicate Logic Theorem Prover. Journal of Logic and Computation 2(5) (1992) 619\u2013656","journal-title":"Journal of Logic and Computation"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Shankar, N.: Proof Search in the Intuitionistic Sequent Calculus. Proceedings of the 1992 international conference on Automated Deduction (CADE-13), ed., Kupar, D.; Springer LNAI 607 (1992) 522\u2013536","DOI":"10.1007\/3-540-55602-8_189"},{"key":"14_CR13","unstructured":"Stoughton, A.: porgi:a Proof-Or-Refutation Generator for Intuitionistic prepositional logic. http:\/\/www.cis.ksu.edu\/\u223callen\/home.html"},{"key":"14_CR14","unstructured":"Tammet, T.: A Resolution Theorem Prover for Intuitionistic Logic. Available from the URL http:\/\/www.cs.chalmers.se\/tammet\/ (1996). This is a longer version of the paper in Proceedings of the 1996 international conference on Automated Deduction (CADE-13), eds. McRobbie, M. A., Slaney, J. K.; Springer LNAI 1104 (1996) 2\u201316"},{"key":"14_CR15","unstructured":"SICStus Prolog User's Manual. Swedish Institute of Computer Science (1993)"}],"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\/BFb0027414","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T09:29:30Z","timestamp":1549358970000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027414"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540629207","9783540690467"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0027414","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}