{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T01:32:44Z","timestamp":1649035964302},"reference-count":8,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1993,1]]},"DOI":"10.1080\/11663081.1993.10510797","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:02:48Z","timestamp":1338364968000},"page":"93-128","source":"Crossref","is-referenced-by-count":5,"title":["Computation with run time skolemisation (N-Prolog part 3)"],"prefix":"10.1080","volume":"3","author":[{"given":"D. M.","family":"Gabbay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"U.","family":"Reyle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","volume":"2","author":"N-Prolog Gabbay D.","year":"1985","journal-title":"J. of Logic Programming"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Gabbay, D. and Kriwaczek, F. 1991. \u201cA goal directed theorem prover for predicate logic based on conjunctions and implications. J. of Automated Reasoning\u201d. to appear","DOI":"10.1007\/BF01880327"},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0743-1066(84)90029-3","volume":"1","author":"Gabbay D.","year":"1984","journal-title":"J. of Logic Programming"},{"key":"CIT0004","unstructured":"Gabbay, D. and Reyle, U. Direct deductive computation on discourse representation structures\u2014Part I: Deduction using run time skolemisalion. To appear"},{"key":"CIT0005","unstructured":"Gabbay, D. and Reyle, U. 1991. \u201cIntuitionistic Representation Structures, ms London\u201d."},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Kripke, S. 1965. Edited by: Crossley, J. A. and Dummett, M. A.E. 92\u2013129. North-Holland. Semantic analysis for intuitionistic logic I. In: Formal Systems and Recursive Functions (1965","DOI":"10.1016\/S0049-237X(08)71685-9"},{"key":"CIT0007","unstructured":"Nilsson, N. J. 1983. \u201cIntroduction to Artificial Intelligence. Springer\u201d."},{"key":"CIT0008","unstructured":"Reyle, U. 1990. Direct deductive compulation on discourse representation structures\u2014Part II: Deduction restricted by accessibility. To appear"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T06:44:49Z","timestamp":1594190689000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1993.10510797"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,1]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,1]]}},"alternative-id":["10.1080\/11663081.1993.10510797"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1993.10510797","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,1]]}}}