{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T03:24:48Z","timestamp":1648524288962},"reference-count":7,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Inf. & Syst."],"published-print":{"date-parts":[[2020,3,1]]},"DOI":"10.1587\/transinf.2019fcl0003","type":"journal-article","created":{"date-parts":[[2020,2,29]],"date-time":"2020-02-29T22:10:58Z","timestamp":1583014258000},"page":"549-552","source":"Crossref","is-referenced-by-count":0,"title":["A Heuristic Proof Procedure for First-Order Logic"],"prefix":"10.1587","volume":"E103.D","author":[{"given":"Keehang","family":"KWON","sequence":"first","affiliation":[{"name":"Department of Computer Eng., DongA University"}]}],"member":"532","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] J.-M. Andreoli, \u201cLogic programming with focusing proofs in linear logic,\u201d Journal of Logic and Computation, vol.2, no.3, pp.297-347, 1992. 10.1093\/logcom\/2.3.297","DOI":"10.1093\/logcom\/2.3.297"},{"key":"2","doi-asserted-by":"crossref","unstructured":"[2] G. Gentzen, \u201cInvestigations into Logical Deduction,\u201d The Collected Papers of Gerhard Gentzen, pp.68-131, 1969.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] G. Japaridze, \u201cIntroduction to computability logic,\u201d Annals of Pure and Applied Logic, vol.123, no.1-3, pp.1-99, 2003. 10.1016\/s0168-0072(03)00023-x","DOI":"10.1016\/S0168-0072(03)00023-X"},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] G. Japaridze, \u201cFrom truth to computability I,\u201d Theoretical Computer Science, vol.357, no.1-3, pp.100-135, 2006. 10.1016\/j.tcs.2006.03.014","DOI":"10.1016\/j.tcs.2006.03.014"},{"key":"5","unstructured":"[5] G. Japaridze, \u201cComputability logic: A formal theory of interaction,\u201d ed. D. Goldin, S. Smolka, and P. Wegner, Interactive Computation: The New Paradigm, pp.183-223, Springer, 2006."},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] G. Japaridze, \u201cIn the beginning was game semantics,\u201d ed. O. Majer, A.-V. Pietarinen, and T. Tulenheimo, Games: Unifying Logic, Language, and Philosophy, pp.249-350, Springer, 2009.","DOI":"10.1007\/978-1-4020-9374-6_11"},{"key":"7","unstructured":"[7] S. Reeves and M. Clarke, Logic for Computer Science, Addison Wesley, 1990."}],"container-title":["IEICE Transactions on Information and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/3\/E103.D_2019FCL0003\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,7]],"date-time":"2020-03-07T03:26:52Z","timestamp":1583551612000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transinf\/E103.D\/3\/E103.D_2019FCL0003\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3,1]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020]]}},"URL":"https:\/\/doi.org\/10.1587\/transinf.2019fcl0003","relation":{},"ISSN":["0916-8532","1745-1361"],"issn-type":[{"value":"0916-8532","type":"print"},{"value":"1745-1361","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,3,1]]}}}