{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:05Z","timestamp":1725663245837},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540527534"},{"type":"electronic","value":"9783540471370"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52753-2_54","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:42:36Z","timestamp":1330206156000},"page":"396-408","source":"Crossref","is-referenced-by-count":0,"title":["Stratification of definite clause programs and of general logic programs"],"prefix":"10.1007","author":[{"given":"Olga","family":"Stepankova","sequence":"first","affiliation":[]},{"given":"Petr","family":"Stepanek","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"26_CR1","first-page":"1","volume-title":"Proc 2nd Scandinavian Logic Symposium","author":"S. O. Aandrea","year":"1971","unstructured":"Aandrea, S. O. [1971] On the decision problem for formulas in which all disjunctions are binary, Proc 2nd Scandinavian Logic Symposium, North Holland, Amsterdam, pp 1\u201318"},{"key":"26_CR2","unstructured":"Apt, K. R, Blair, H. and Walker, A. [1988] Towards a theory of declarative knowledge. (to appear)"},{"key":"26_CR3","unstructured":"Borger, E. [1971] Reduktionstypen in Krom-und Hornformeln Dissertation Universitat Muenster, (the respective part of the above Dissertation was published in the paper cited next below)"},{"key":"26_CR4","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF02025119","volume":"16","author":"E. Borger","year":"1974","unstructured":"[Borger, E. [1974] Beitrag zur Reduktion des Entscheidungproblems auf Klassen von Hornformeln mit kurzem Alternation, Arch. f. mathematische Logik u. Grundlagenforschung 16(1974), 67\u201384","journal-title":"Arch. f. mathematische Logik u. Grundlagenforschung"},{"key":"26_CR5","unstructured":"Lassez, C. McAloon, K. and Port, G. [1987] Stratification and Knowledge Base Management in: Proc Fourth Int. Conf. Logic Programming J.-L. Lassez (editor) MIT Press, pp. 136\u2013151"},{"key":"26_CR6","doi-asserted-by":"crossref","unstructured":"Maher, M. J. [1986] Equivalences of Logic Programs in: Proc. Third Int. Conference on Logic Programming, E. Shapiro (editor) LNCS 225 Springer-Verlag pp.410\u2013424","DOI":"10.1007\/3-540-16492-8_91"},{"key":"26_CR7","doi-asserted-by":"crossref","unstructured":"Ochozka, V., Stepankova, O., Stepanek, P. and Hric, J. [1989] Normal Forms and the Complexity of Computations of Logic Programs in: CSL '88 \u201cnd workshop on Computer Science Logic, Duisburg 1988, Lecture Notes in Comp. Sci. Vol 385, Springer-Verlag 1989 pp 357\u2013371","DOI":"10.1007\/BFb0026313"},{"key":"26_CR8","unstructured":"Sebelik, J., Stepanek, P. [1980] Horn Clause Programs Suggested by Recursive Functions, in Proc Logic Programming Workshop, Debrecen 1980, S.A. Trnlund (editor)"},{"key":"26_CR9","unstructured":"Sebelik, J., Stepanek, P. [1982] Horn Clause programs for Recursive Functions in: Logic Programming, K.J.Clark and S.A. Tarnlund (Editors), ACADEMIC PRESS London pp 325\u2013240"},{"key":"26_CR10","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0743-1066(84)90028-1","volume":"1","author":"O. Stepankova","year":"1984","unstructured":"Stepankova, O., Stepanek, P. [1984] Transformations of Logic Programs J. Logic Programming 1 (1984), 305\u2013318","journal-title":"J. Logic Programming"}],"container-title":["Lecture Notes in Computer Science","CSL '89"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52753-2_54.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:25:14Z","timestamp":1605648314000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52753-2_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540527534","9783540471370"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-52753-2_54","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}