{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:13Z","timestamp":1725664993991},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_96","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:20:29Z","timestamp":1330294829000},"page":"347-362","source":"Crossref","is-referenced-by-count":3,"title":["Decidability of logic program semantics and applications to testing"],"prefix":"10.1007","author":[{"given":"Salvatore","family":"Ruggieri","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, pages 493\u2013574. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"24_CR2","volume-title":"Technical Report CS-R9470","author":"K.R. Apt","year":"1994","unstructured":"K.R. Apt, M. Gabbrielli, and D. Pedreschi. A Closer Look at Declarative Interpretations. Technical Report CS-R9470, Centre for Mathematics and Computer Science, Amsterdam, 1994. To appear in Journal of Logic Programming."},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6A","author":"K.R. Apt","year":"1994","unstructured":"K.R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing, 6A:743\u2013764, 1994.","journal-title":"Formal Aspects of Computing"},{"key":"24_CR4","volume-title":"Studies in Pure Prolog: Termination","author":"K.R. Apt","year":"1990","unstructured":"K.R. Apt and D. Pedreschi. Studies in Pure Prolog: Termination. In J. W. Lloyd, editor, Symposium on Computational Logic. Springer-Verlag, Berlin, 1990."},{"issue":"20","key":"24_CR5","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0743-1066(94)90026-4","volume":"19","author":"A. Bossi","year":"1994","unstructured":"A. Bossi, M. Gabbrielli, G. Levi, and M. Martelli. The S-semantics Approach: Theory and Applications. Journal of Logic Programming, 19, 20:149\u2013197, 1994.","journal-title":"Journal of Logic Programming"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"L. Boug\u00e8, N. Choquet, L. Fribourg, and M. Gaudel. Test sets generation from algebraic specifications using logic programming. Journal of System and Software, 6(4), 1986.","DOI":"10.1016\/0164-1212(86)90004-X"},{"issue":"2","key":"24_CR7","first-page":"91","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A Practical Framework for the Abstract Interpretation of Logic Programs. New Generation Computing, 10(2):91\u2013124, 1991.","journal-title":"New Generation Computing"},{"key":"24_CR8","unstructured":"K.L. Clark. Predicate logic as a computational formalism. Technical Report DOC 79\/59, Imperial College, Dept. of Computing, 1979."},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"M. Comini, G. Levi, and G. Vitiello. Efficient detection of incompleteness errors in the abstract debugging of logic programs. In AADEBUG'95, 1995.","DOI":"10.1007\/3-540-58792-6_27"},{"issue":"1","key":"24_CR10","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1006\/inco.1993.1015","volume":"102","author":"M. Falaschi","year":"1993","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs. Information and Computation, 102(1):86\u2013113, 1993.","journal-title":"Information and Computation"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"M. Gorlick, C.F. Kesselman, D. Marotta, and D. Stott Parker. MOCKINGBIRD: A Logical Methodology for Testing. Journal of Logic Programming, 8(1,2), 1990.","DOI":"10.1016\/0743-1066(90)90053-8"},{"key":"24_CR12","unstructured":"G. Levi and D. Ramundo. A Formalization of Metaprogramming for Real. In D.S. Warren, editor, Proceedings Tenth International Conference on Logic Programming, pages 354\u2013373. The MIT Press, 1993."},{"key":"24_CR13","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF03037939","volume":"10","author":"L. Naish","year":"1991","unstructured":"L. Naish. Declarative Diagnosis of Missing Answers. New Generation Computing, 10:255\u2013285, 1991.","journal-title":"New Generation Computing"},{"key":"24_CR14","unstructured":"D. Pedreschi and S. Ruggieri. Termination is language-independent. In M. Alpuente et. al., editor, Proc. of the GULP-PRODE'94 Joint Conference on Declarative Programming. Univ. Politecnica de Valencia, 1994."},{"key":"24_CR15","unstructured":"D. Pedreschi and S. Ruggieri. Verification of Metainterpreters. Technical Report TR-96-23, Dipartimento di Informatica, Universit\u00e0 di Pisa, 1996. Accepted for publication in Journal of Logic and Computation."},{"key":"24_CR16","volume-title":"Mathematical logic","author":"J. Shoenfield","year":"1967","unstructured":"J. Shoenfield. Mathematical logic. Addison Wesdley, Reading, 1967."},{"key":"24_CR17","unstructured":"L. Sterling and E. Shapiro. The Art of Prolog. The MIT Press, 1986."},{"issue":"2","key":"24_CR18","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/42282.42285","volume":"35","author":"J.D. Ulmann","year":"1988","unstructured":"J.D. Ulmann and A. van Gelder. Efficient tests for top-down termination of logical rules. Journal of the ACM, 35(2):345\u2013373, 1988.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_96.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:25Z","timestamp":1605647425000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_96","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}