{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T01:37:14Z","timestamp":1750469834131},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540667490"},{"type":"electronic","value":"9783540467670"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46767-x_14","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T17:12:51Z","timestamp":1269882771000},"page":"192-205","source":"Crossref","is-referenced-by-count":3,"title":["Linear Tabulated Resolution for the Well-Founded Semantics"],"prefix":"10.1007","author":[{"given":"Yi-Dong","family":"Shen","sequence":"first","affiliation":[]},{"given":"Li-Yan","family":"Yuan","sequence":"additional","affiliation":[]},{"given":"Jia-Huai","family":"You","sequence":"additional","affiliation":[]},{"given":"Neng-Fa","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,3,3]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0743-1066(97)00073-3","volume":"34","author":"R. N. Bol","year":"1998","unstructured":"Bol, R. N., Degerstedt, L.: Tabulated Resolution for the Well-Founded Semantics. Journal of Logic Programming 34:2 (1998) 67\u2013109","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","volume":"24","author":"W. D. Chen","year":"1995","unstructured":"Chen, W. D., Swift, T., Warren, D. S.: Efficient Top-Down Computation of Queries under theWell-Founded Semantics. Journal of Logic Programming 24:3 (1995) 161\u2013199","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/227595.227597","volume":"43","author":"W. D. Chen","year":"1996","unstructured":"Chen, W. D., Warren, D. S.: Tabled Evaluation with Delaying for General Logic Programs. J. ACM 43:1 (1996) 20\u201374","journal-title":"J. ACM"},{"key":"14_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W.: Foundations of Logic Programming. 2nd edn. Springer-Verlag, Berlin (1987)","edition":"2nd edn"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Przymusunski, T.: Every Logic Program Has a Natural Stratification and an Iterated Fixed Point Model. In: Proc. of the 8th ACM Symposium on Principles of Database Systems (1989) 11\u201321","DOI":"10.1145\/73721.73723"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(92)90019-Y","volume":"13","author":"K. Ross","year":"1992","unstructured":"Ross, K.: A Procedural Semantics for Well-Founded Negation in Logic Programs. Journal of Logic Programming 13:1 (1992) 1\u201322","journal-title":"Journal of Logic Programming"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Sagonas, K., Swift, T., Warren, D. S.: XSB as an Efficient Deductive Database Engine. In: Proc. of the ACM SIGMOD Conference on Management of Data. Minneapolis (1994) 442\u2013453","DOI":"10.1145\/191839.191927"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Sagonas, K., S wift, T., Warren, D. S.: An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs.ACM Transactions on Programming Languages and Systems 20:3 (1998)","DOI":"10.1145\/291889.291897"},{"key":"14_CR9","unstructured":"Sagonas, K., Swift, T., Warren, D. S., Freire, J., Rao, P.: The XSB Programmer\u2019s Manual (Version 1.8) (1998)"},{"key":"14_CR10","first-page":"317","volume":"152","author":"Y. D. Shen","year":"1997","unstructured":"Shen, Y. D.: An Extended Variant of Atoms Loop Check for Positive Logic Programs.New Generation Computing 15:2 (1997) 317\u2013341","journal-title":"New Generation Computing"},{"key":"14_CR11","unstructured":"Shen, Y. D., Yuan, L. Y., You, J. H., Zhou, N. F.: Linear Tabulated Resolution Based on Prolog Control Strategy. Submitted for publication (1999)"},{"key":"14_CR12","first-page":"620","volume":"383","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The Well-Founded Semantics for General Logic Programs. J. ACM 38:3 (1991) 620\u2013650","journal-title":"J. ACM"},{"issue":"1&2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0743-1066(89)90032-0","volume":"6","author":"A. Gelder Van","year":"1989","unstructured":"Van Gelder, A.: Negation as Failure Using Tight Derivations for General Logic Programs. Journal of Logic Programming 6:1&2 (1989) 109\u2013133","journal-title":"Journal of Logic Programming"},{"key":"14_CR14","unstructured":"Warren, D. H. D.: An Abstract Prolog Instruction Set. Technical Report309, SRI International (1983)"},{"issue":"6","key":"14_CR15","doi-asserted-by":"publisher","first-page":"752","DOI":"10.1145\/236114.236120","volume":"18","author":"N. F. Zhou","year":"1996","unstructured":"Zhou, N. F.: Parameter Passing and Control Stack Management in Prolog Implementation Revisited. ACM Transactions on Programming Languages and Systems 18:6 (1996) 752\u2013779","journal-title":"ACM Transactions on Programming Languages and Systems"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46767-X_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T07:35:13Z","timestamp":1551080113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46767-X_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540667490","9783540467670"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-46767-x_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}