%CONFERENCES @string{iclp84 = "Proc. Second Int'l Conf. on Logic Programming" } @string{iclp86 = "Proc. Third Int'l Conf. on Logic Programming"} @string{iclp87 = "Proc. Fourth Int'l Conf. on Logic Programming"} @string{iclp88 = "Proc. Fifth Int'l Conf. on Logic Programming"} @string{iclp89 = "Proc. Sixth Int'l Conf. on Logic Programming"} @string{iclp90 = "Proc. Seventh Int'l Conf. on Logic Programming"} @string{iclp91 = "Proc. Eighth Int'l Conf. on Logic Programming"} @string{ediclp84 = {Sten-\AA~ke T\"{a}rnlund}} @string{ediclp86 = "E. Y. Shapiro"} @string{ediclp87 = "J.-L. Lassez"} @string{ediclp88 = "R. A. Kowalski and K. A. Bowen"} @string{ediclp89 = "G. Levi and M. Martelli"} @string{ediclp90 = "D. H. D. Warren and P. Szeredi"} @string{ediclp91 = "K. Furukawa"} @string{fgcs88 = "Proc. Int'l Conf. on Fifth Generation Computer Systems"} @string{gulp89="Proc. Fourth Italian Conference on Logic Programming"} @string{edgulp89="P. Mello"} @string{gulp90="Proc. Fifth Italian Conference on Logic Programming"} @string{edgulp90="A. Bossi"} @string{gulp91="Proc. Sixth Italian Conference on Logic Programming"} @string{edgulp91="P. Asirelli"} @string{lics87 = "Proc. Second IEEE Symp. on Logic In Computer Science"} @string{lics88 = "Proc. Third IEEE Symp. on Logic In Computer Science"} @string{lics89 = "Proc. Fourth IEEE Symp. on Logic In Computer Science"} @string{lics91 = "Proc. Sixth IEEE Symp. on Logic In Computer Science"} @string{naclp89 = "Proc. North American Conf. on Logic Programming'89"} @string{ednaclp89 = "E. Lusk and R. Overbeck"} @string{naclp90 = "Proc. North American Conf. on Logic Programming'90"} @string{ednaclp90 = "S. Debray and M. Hermenegildo"} @string{plilp91 = "Proc. Third Int'l Symp. on Programming Language Implementation and Logic Programming"} @string{popl87 = "Proc. Fourteenth Annual ACM Symp. on Principles of Programming Languages"} @string{popl88 = "Proc. Fiftheenth Annual ACM Symp. on Principles of Programming Languages"} @string{popl89 = "Proc. Sixteenth Annual ACM Symp. on Principles of Programming Languages"} @string{popl91 = "Proc. Eighteenth Annual ACM Symp. on Principles of Programming Languages"} @string{popl92 = "Proc. Nineteenth Annual ACM Symp. on Principles of Programming Languages"} @string{slp84 = "Proc. First IEEE Int'l Symp. on Logic Programming"} @string{slp85 = "Proc. Second IEEE Int'l Symp. on Logic Programming"} @string{slp86 = "Proc. Third IEEE Int'l Symp. on Logic Programming"} @string{slp87 = "Proc. Fourth IEEE Int'l Symp. on Logic Programming"} @string{edtapsoft87 = "H. Ehrig, R. Kowalski, G. Levi and U. Montanari"} @string{tapsoft91 = "Proc. TAPSOFT'91"} @string{edtapsoft91=" S. Abramsky and T. Maibaum"} %INSTITUTIONS @string{cwi = "Centre for {M}athematics and {C}omputer {S}cience, Amsterdam, The Netherlands"} @string{dip = "Dipartimento di Informatica, Universit\`{a} di Pisa"} @string{icot = "Institute for New Generation Computer Technology, Tokyo"} %JOURNALS @string{i&c = "Information and Computation"} @string{jacm = "Journal of the ACM"} @string{jlp = "Journal of Logic Programming"} @string{JSC = "Journal of Symbolic Computation"} @string{JLP = "Journal of Logic Programming" } @string{tcs = "Theoretical Computer Science"} @string{toplas = "ACM Transactions on Programming Languages and Systems"} %PUBLISHERS @string{csp = "Computer Science Press, New York"} @string{lnai = "Lecture Notes in Artificial Intelligence"} @string{lncs = "Lecture Notes in Computer Science"} @string{mit = "The MIT Press, Cambridge, Mass."} @string{springer = " Springer-Verlag, Berlin"} @string{addison = " Addison-Wesley"} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % poi la abbreviazioni di nostra.bib % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Journals, books, and series @STRING{AI = "Artificial Intelligence"} @STRING{Acta = "Acta Informatica"} @STRING{CACM = "Communications of the {ACM}"} @STRING{CJ = "Computer Journal"} @STRING{ESOP = "European Symposium on Programming"} @STRING{FPCA = "International Conference on Functional Programming Languages and Computer Architecture"} @STRING{IFIP = "IFIP World Congress Proceedings"} @STRING{IPL = "Information Processing Letters"} @STRING{JACM = "Journal of the {ACM}"} @STRING{JCSS = "Journal of Computer and System Sciences"} @STRING{JFP = "Journal of Functional Programming"} @STRING{LASC = "Lisp and Symbolic Computation"} @STRING{LFP = "{ACM} Conference on Lisp and Functional Programming"} @STRING{LICS = "{IEEE} Symposium on Logic in Computer Science"} @STRING{LNCS = "Lecture Notes in Computer Science"} @STRING{MFCS = "Mathematical Foundations of Computer Science"} @STRING{MFPLS = "Mathematical Foundations of Programming Language Semantics"} @STRING{NGC = "New Generation Computing"} @STRING{PEMC = "Partial Evaluation and Mixed Computation"} @STRING{PEPM = "Partial Evaluation and Semantics-Based Program Manipulation, New Haven, Connecticut. (Sigplan Notices, vol. 26, no. 9, September 1991)"} @STRING{PDO = "Programs as Data Objects, Copenhagen, Denmark. (Lecture Notes in Computer Science, vol. 217)"} @STRING{POPL = "ACM Symposium on Principles of Programming Languages"} @STRING{SCP = "Science of Computer Programming"} @STRING{SIGPLAN = "Sigplan Notices"} @STRING{SMD = "Soviet Mathematics Doklady"} @STRING{SPE = "Software -- Practice and Experience"} @STRING{TCS = "Theoretical Computer Science"} @STRING{TOPLAS = "ACM Transactions on Programming Languages and Systems"} @STRING{TSE = "IEEE Transactions on Software Engineering"} Publishers @STRING{A-W = "Addison-Wesley"} @STRING{AP = "Academic Press"} @STRING{CSP = "Computer Science Press"} @STRING{CUP = "Cambridge University Press"} @STRING{JWS = "John Wiley \& Sons"} @STRING{MIT = "MIT Press"} @STRING{N-H = "North-Holland"} @STRING{OUP = "Oxford University Press"} @STRING{P-H = "Prentice-Hall"} @STRING{S-V = "Springer-Verlag"} @STRING{SL = "Studentlitteratur, Lund, Sweden"} @STRING{WHF = "W.H. Freeman"} Institutions and people @STRING{BEJ = "D. Bj{\o}rner and A.P. Ershov and N.D. Jones"} @STRING{CCN = "Computing Center, No\-vo\-si\-birsk, USSR"} @STRING{CTH = "Chalmers University of Technology"} @STRING{DIKU = "DIKU, University of Copenhagen, Denmark"} @STRING{ISI = "Informatics Systems Institute, Novosibirsk, USSR"} @STRING{PMG = "Programming Methodology Group, Chalmers University of Technology"} @STRING{UPMAIL = "UPMAIL, Uppsala University, Sweden"} @MISC {Apt93, AUTHOR = "K. R. Apt", TITLE = "A {C}ourse in {L}ogic {P}rogramming", NOTE = "Unpublished Lecture Notes", YEAR = "1993", MONTH = "April"} @InCollection{ABW88, author = "K. R. Apt, H. A. Blair and A. Walker", title = "Towards a theory of declarative knowledge", booktitle = "Foundation of Deductive Databases and Logic Programming", publisher = "Morgan Kaufmann", year = "1988", editor = "J. Minker, editor", pages = "89-148"} @TechReport{AD93, AUTHOR = "C. Aravidan and P. M. Dung", TITLE = "On the correctness of {U}nfold/{F}old transformation of normal and extended logic programs", INSTITUTION = "Division of {C}omputer {S}cience, Asian {I}nstitute of {T}echnology, {B}angkok, {T}hailand", month = "April", year = "1993"} @ARTICLE {Apt82, AUTHOR = "K.R. Apt and M.H. vanEmden", TITLE = "Contributions to the theory of logic programming", JOURNAL = JACM, YEAR = "1982", MONTH = "July", VOLUME = "29", NUMBER = "3", PAGES = "841-862", ANNOTE = ""} @incollection{Apt90, author = {K. R. Apt}, title = {Introduction to {L}ogic {P}rogramming}, booktitle = "Handbook of Theoretical Computer Science", volume = "B: Formal Models and Semantics", editor="J. van Leeuwen", publisher = "Elsevier, Amsterdam and The MIT Press, Cambridge", year= "1990"} @article{AB91, author = "K. R. Apt and M. Bezem", title = "Acyclic Programs", journal = NGC, volume = 29, number = 3, pages = "335-363", year = 1991 } @inproceedings{AB90, author = "K. R. Apt and M. Bezem", title = "Acyclic Programs", booktitle = "Proceedings of the Seventh International Conference on Logic Programming", publisher = "The MIT Press", pages = "617-633", editor = "D. H. D. Warren and P. Szeredi", year = 1990 } @InCollection{ABW87, author = "K. R. Apt and H. Blair and A. Walker", title = "Towards a {T}heory of {D}eclarative {K}nowledge", booktitle = "Foundations of {D}eductive {D}atabases and {L}ogic {P}rogramming", publisher = "Morgan Kaufmann Publishers", year = "1987", editor = "J. Minker", pages = "89-148"} @phdthesis{Bau89, AUTHOR = "M. Baudinet", TITLE = "Logic Programming Semantics: Techniques and Applications", school = "Stanford University, Stanford, California", YEAR = "1989"} @inproceedings{AP90, author = "K. R. Apt and D. Pedreschi", title = " Studies in {P}ure {P}rolog: termination", booktitle = "Symposium on Computational Logic", editor = "J. W. Lloyd", publisher = "Springer-Verlag", pages = "150-176", year = 1990 } @inproceedings{AP91, author = "K. R. Apt and D. Pedreschi", title = " Proving Termination of General {P}rolog Programs", booktitle = "Proceedings of the International Conference on Theoretical Aspects of Computer Software", editor = "T. Ito and A. Meyer", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science 526", address = "Berlin", pages = "265-289", year = 1991 } @article{AP93, author = "K. R. Apt and D. Pedreschi", title = " Reasoning about Termination of Pure {P}rolog Programs", journal = i&c, volume = "106", number = "1", pages = "109--157", year = 1993, } @InProceedings {BC89, author = "A. Bossi and N. Cocco", title = "Verifying correctness of logic programs", booktitle = "TAPSOFT '89, Barcelona, Spain, March 1989, (Lecture Notes in Computer Science, vol. 352)", year = "1989", pages = " 96-110", publisher = S-V, editor = "J. Diaz and F. Orejas", OPTnote = ""} @TechReport{BC90, AUTHOR = "A. Bossi and N. Cocco", TITLE = "Basic Transformation Operations for logic programs which preserve Computed Answer Substitutions", INSTITUTION = "Dip. Matematica Pura e Applicata, Universit\`{a} di Padova, Italy", number = "16", month = "April", year = "1990", NOTE = "to appear in Special Issue on Partial Deduction of the Journal of Logic Programming"} @article{BC93, author = {A. Bossi and N. Cocco}, title = {Basic {T}ransformation {O}perations which preserve {C}omputed {A}nswer {S}ubstitutions of {L}ogic {P}rograms}, journal = jlp, volume = 16, year = 1993, pages = {47-87}} @ARTICLE {BCD90, AUTHOR = "A. Bossi and N. Cocco and S. Dulli", TITLE = "A method for specializing logic programs", JOURNAL = "ACM Transactions on Programming Languages and Systems", YEAR = "1990", MONTH = "April", VOLUME = "12", NUMBER = "2", PAGES = "253-302", ANNOTE = ""} @InProceedings {BCE92, author = "A. Bossi and N. Cocco and S. Etalle", title = "Transforming Normal Program by Replacement", booktitle = "Third Workshop on Metaprogramming in Logic, META92: Uppsala, Sweden", month = "June", year = "1992"} @ARTICLE {Bez93, AUTHOR = "M. Bezem", TITLE = "Strong termination of logic programs", JOURNAL = "Journal of Logic Programming", YEAR = "1993", NUMBER = "15", pages = "79-97", ANNOTE = ""} @article{BCF94, author = {A. Bossi and N. Cocco and M. Fabris}, title = {Norms on {T}erms and their use in {P}roving {U}niversal {T}ermination of a {L}ogic {P}rogram}, journal = tcs, volume = 124, year = 1994, pages = {297-328}} @InProceedings {BCF91, author = "A. Bossi and N. Cocco and M. Fabris", title = "Proving termination of logic programs by exploiting term properties", booktitle = "TAPSOFT '91, Brighton, United Kingdom, April 1991, (Lecture Notes in Computer Science 494)", year = "1991", pages = "153-180", editor = "S. Abramsky and T.S.E. Maibaum", publisher = S-V, OPTnote = ""} @ARTICLE {BD77, AUTHOR = "R.M. Burstall and J. Darlington", TITLE = "A transformation system for developing recursive programs", JOURNAL = JACM, YEAR = "1977", MONTH = "January", VOLUME = "24", NUMBER = "1", PAGES = "44-67", ANNOTE = ""} @InProceedings{BL90, author = "K. Benkerimi and J. W. Lloyd", title = "A partial evaluation procedure for logic programs", booktitle = "Logic Programming: Proceedings of the 1990 North American Conference, Austin, Texas, October 1990", year = "1990", editor = "S. Debray and M. Hermenegildo", pages = "343-358", publisher = "MIT Press"} @InProceedings {BR86, author = "F. Bancilhon and R. Ramakrishnan", title = "An amateur's introduction to recursive query processing strategies", booktitle = "ACM SIGMOD Conference, Washington, U.S.A., May 1986", year = "1986", pages = "16-52", publisher = "ACM", OPTnote = ""} @InProceedings {Cav89, author = "L. Cavedon", title = "Continuity, consistency and completeness properties for logic programs", booktitle = "6 International Conference on Logic Programming", year = "1989", pages = "571-584", publisher = "MIT press", editor = "G. Levi and M. Martelli", OPTnote = ""} @Article {Cav91, author = "L. Cavedon", title = "Acyclic programs and the completeness of {SLDNF}-resolution", journal = "Journal of Theoretical Computer Science", volume = "86", year = "1991", pages = "81-92"} @InCollection{Cla78, author = "K. L. Clark", title = "Negation as failure rule", booktitle = "Logic and Data Bases", publisher = "Plenum Press", year = "1978", editor = "H. Gallaire and G. Minker", pages = "293-322"} @InProceedings{CG94, author = "J. Cook and J.P. Gallagher", title = "A transformation system for definite programs based on termination analysis", booktitle = "Proceedings of LOPSTR'94, Pisa Italy", year = "1994", note = "To appear."} @InProceedings {CT77, author = "K.L. Clark and S. Tarnlund", title = "A first order theory of data and programs", booktitle = "IFIP 77", year = "1977", pages = "939-944", publisher = "", OPTnote = ""} @BOOK {Dev90, AUTHOR = "Y. Deville", TITLE = "Logic Programming. Systematic Program Development", PUBLISHER = A-W, YEAR = "1990", NOTE = "", ANNOTE = ""} @ARTICLE { DM88 , AUTHOR = "W. Drabent and J. Maluszynski", TITLE = "Inductive assertion method for logic programs", JOURNAL = TCS, YEAR = "1988", MONTH = "", VOLUME = "59", NUMBER = "", PAGES = "133-155", ANNOTE = ""} @InProceedings {DSF93, author = "S. Decorte and D. De Schreye and M. Fabris", title = "Automatic {I}nference of {N}orms: a {M}issing {L}ink in {A}utomatic {T}ermination {A}nalysis", editor = "D. Miller", booktitle = "Proc. 1993 Int'l Symposium on Logic Programming", year = "1993", publisher = "The MIT Press"} @MISC {Eta91, AUTHOR = "S. Etalle", TITLE = "Transformazione dei programmi logici con negazione, {T}esi di {L}aurea, {D}ip. {M}atematica {P}ura e {A}pplicata, {U}niversit\`{a} di {P}adova, {P}adova, {I}taly", HOWUBLISHED = "Tesi di Laurea, Universit\`{a} di Padova", YEAR = "1991", MONTH = "July"} @ARTICLE {Fit85, AUTHOR = "M. Fitting", TITLE = "A {K}ripke-{K}leene semantics for {L}ogic {P}rograms", JOURNAL = "Journal of Logic Programming", YEAR = "1985", NUMBER = "4", ANNOTE = ""} @InProceedings {FLMP88, author = "M. Falaschi and G. Levi and M. Martelli and C. Palamidessi", title = "A new declarative semantics for logic languages", booktitle = "ICLP '88", year = "1988", pages = "993-1005", publisher = "The Mit Press", OPTnote = ""} @ARTICLE {FLMP89a, AUTHOR = "M. Falaschi and G. Levi and M. Martelli and C. Palamidessi", TITLE = "Declarative modelling of the operational behavior of logic languages", JOURNAL = TCS, YEAR = "1989", MONTH = "", VOLUME = "69", NUMBER = "3", PAGES = "289-318", ANNOTE = ""} @TechReport {FLMP89b, author = "M. Falaschi and G. Levi and M. Martelli and C. Palamidessi", title = "A model-theoretic reconstruction of the operational semantics of logic programs", institution = "Dipartimento di Informatica, Universit\'{a} di Pisa, Italy", year = "1989", number = "32/89", month = "September", note = "to appear in Information and Computation"} @InCollection{GS91, author = "P.A. Gardner and J.C. Shepherdson", title = "Unfold/Fold Transformations of Logic Programs", booktitle = "Computational Logic: Essays in Honor of Alan Robinson", publisher = "", year = "1991", editor = "J-L Lassez and G. Plotkin, editor"} @inproceedings{GL88, author = "M. Gelfond and V. Lifshitz", title = "The {S}table {M}odel {S}emantics for {L}ogic {P}rograms", booktitle = "Fifth international Conference and Symposium on Logic programming, Seattle, U.S.A.", year = "1988", pages = "1070-1080", publisher = "", OPTnote = ""} @ARTICLE { Hog81, AUTHOR = "C.J. Hogger", TITLE = "Derivation of Logic Programs", JOURNAL = JACM, YEAR = "1981", MONTH = "April", VOLUME = "28", NUMBER = "2", PAGES = "372-392", ANNOTE = ""} @BOOK { Hog84, AUTHOR = "C.J. Hogger", TITLE = "Introduction to Logic Programming", PUBLISHER = AP, YEAR = "1984", NOTE = "", ANNOTE = ""} @inproceedings{JM84, author = "N.Jones, Mycroft A.", title = "Stepwise Development of Operational and Denotational Semantics for {P}rolog", booktitle = "International Symposium on Logic Programming, Atlantic City, NJ, (U.S.A.)", year = "1984", pages = "289-298", publisher = "", OPTnote = ""} @BOOK {Kle52, AUTHOR = "S.C. Kleene", TITLE = "Introduction to Metamathematics", PUBLISHER = "D. van Nostrand", ADDRESS = "Princeton, New Jersey", YEAR = "1952", ANNOTE = "A profound treatment of recursive function theory, this book studies properties of the class of partial recursive functions and operations on codes for functions in much detail. Among other things, the S-m-n theorem, enumeration, and the first and second recursion theorems are treated."} @inproceedings{KK88, author = "T. Kawamura and T. Kanamori", title = {Preservation of {S}tronger {E}quivalence in {U}nfold/{F}old {L}ogic {P}rogramming {T}ransformation}, booktitle = fgcs88, pages = "413-422", organization = icot, year = "1988"} @ARTICLE {Kun87, AUTHOR = "K. Kunen", TITLE = "Negation in logic programming", JOURNAL = "Journal of Logic Programming", YEAR = "1985", NUMBER = "4", PAGES = "289-308", ANNOTE = ""} @TechReport {LM88, author = "G. Levi and P. Mancarella", title = "The unfolding semantics of logic programs", institution = "Dipartimento di Informatica, Universit\'{a} di Pisa, Italy", year = "1988", number = "13/88", month = "September"} @book{Llo87, author = "J. W. Lloyd", title = "Foundations of {L}ogic {P}rogramming", note = "Second edition", publisher = springer, year = "1987"} @phdthesis{Mah85, author = {M. Maher}, title = {Semantics of {L}ogic {P}rogramming}, school = {University of Melbourne, Computer Science Department}, year = {1985}} @TechReport{Mah87, author = "M.J. Maher", title = "Correctness of a Logic Program Transformation System", institution = "T.J. Watson Research Center", type ="IBM Research Report", number ="RC13496", year = "1987"} @inproceedings{Mah87b, author = "M. J. Maher", title = "Logic semantics for a class of committed-choice programs", editor = ediclp87, booktitle = iclp87, pages= "858-876", publisher = mit, year = "1987"} @InCollection{Mah88, author = "M.J. Maher", title = "Equivalences of Logic Programs", booktitle = "Foundation of Deductive Databases and Logic Programming", publisher = "Morgan Kaufmann", year = "1988", editor = "J. Minker, editor", pages = "627-658"} @article {Mah, author = "M.J. Maher", title = "A Transformation System for Deductive Databases with Perfect Model Semantics", journal = "Theoretical Computer Science", year = "to appear"} @unpublished {Mah2, author = "M.J. Maher", title = "Reasonings about {S}table Models (and other Unstable Semantics), submitted for publication"} @book{Plu90, author = "L. Pl{\" u}mer", title = "Termination {P}roofs for {L}ogic {P}rograms", publisher = "Springer-Verlag", series = "Lecture Notes in Artificial Intelligence 446", year = "1990"} @TechReport {PP88, author = "M. Proietti and A. Pettorossi", title = "Techniques for the automatic Improvement of Logic Programs", institution = "IASI-CNR, Roma, Italy", year = "1988", number = "Tech. Report IASI-CNR R231", month = ""} @InProceedings {PP89, author = "A. Pettorossi and M. Proietti", title = "Decidability results and characterization of strategies for the development of logic programs", booktitle = "6th International Conference on Logic Programming", year = "1989", pages = "539-553", editor = "G. Levi and M. Martelli", publisher = "The Mit Press", OPTnote = ""} @InProceedings {PP90, author = "M. Proietti and A. Pettorossi", title = "The synthesis of Eureka predicates for developing logic programs", booktitle = "ESOP'90, (Lecture Notes in Computer Science, Vol. 432)", year = "1990", pages = "306-325", editor = "N. Jones", publisher = "Springer-Verlag", OPTnote = ""} @InProceedings{PP91, author = "M. Proietti and A. Pettorossi", title = "Unfolding, Definition, Folding, in this Order for Avoiding Unnesessary Variables in Logic Programs", booktitle = "PLILP 91, Passau, Germany (Lecture Notes in Computer Science, Vol.528)", year = "1991", editor = "Maluszynski and M. Wirsing", pages = "347-358", publisher = "Springer-Verlag"} @InProceedings{PP92, author = "M. Proietti and A. Pettorossi", title = "Semantics Preserving Transformation Rules for {P}rolog", booktitle = "PEPM 91, New Haven, CT (U.S.A.) (SIGPLAN NOTICES, Vol.26 (9))", year = "1991", pages = "274-284"} @ARTICLE { PS83, AUTHOR = "H. Partsch and R. Steinbruggen", TITLE = "Program Transformation Systems", JOURNAL = "ACM Computing Surveys", YEAR = "1983", MONTH = "September", VOLUME = "15", NUMBER = "3", PAGES = "199-236", ANNOTE = ""} @InProceedings {Prz88, author = "T. C. Przymusinki", title = "Perfect model semantics", booktitle = "Fifth international Conference and Symposium on Logic programming, Seattle, U.S.A.", year = "1988", pages = "1081-1096", publisher = "", OPTnote = ""} @inproceedings{Prz89, author = "T. Przymusinski", title = "Every logic program has a natural stratification and an iterated least fixed point model", booktitle = "Proceedings of the Eighth Symposium on Principles of Database Systems", pages = "11-21", publisher = "ACM SIGACT-SIGMOD", year = 1989 } @InProceedings{Sah90, author = "D. Sahlin", title = "The {Mixtus} Approach to Automatic Partial Evaluation of Full {Prolog}", booktitle = "Logic Programming: Proceedings of the 1990 North American Conference, Austin, Texas, October 1990", year = "1990", editor = "S. Debray and M. Hermenegildo", pages = "377-398", publisher = "MIT Press"} @InProceedings {Sato90, author = "T. Sato", title = "An equivalence preserving first order unfold/fold transformation system", booktitle = "Second Int. Conference on Algebraic and Logic Programming, Nancy, France, October 1990, (Lecture Notes in Computer Science, Vol. 463)", year = "1990", pages = "175-188", publisher = S-V, OPTnote = ""} @article{Sato90b, author = {T. Sato}, title = {Completed {L}ogic {P}rograms and {T}heir {C}onsistency}, journal = jlp, volume = {9}, number = {1}, year = {1990}, pages = {33-44}} @InProceedings {Seki89, author = "H. Seki", title = "Unfold/fold transformation of stratified programs", booktitle = "6th International Conference on Logic Programming", year = "1989", pages = "554-568", editor = "G. Levi and M. Martelli", publisher = "The MIT Press", OPTnote = ""} @InProceedings{Seki90, author = "H. Seki", title = "A comparative study of the {W}Ell-{F}ounded and {S}table Model Semantics: Transformation's viewpoint.", booktitle = "Workshop on Logic Programming and Non-Monotonic Logic, Austin, Texas, October 1990", year = "1990", editor = "W. Marek, A. Nerode, D. Pedreschi and V.S. Subrahmanian", pages = "115-123"} @Article {Seki91, author = "H. Seki", title = "Unfold/fold transformation of stratified programs", journal = "Journal of Theoretical Computer Science", volume = "86", year = "1991", pages = "107-139"} @article{Seki93, author = "H. Seki", title = "Unfold/fold transformation of general logic programs for the {W}Ell-{F}ounded Semantics", journal = jlp, volume = 16, year = 1993, pages = {5-23}} @ARTICLE { She84, AUTHOR = "J. C. Shepherdson", TITLE = "Negation as failure: a comparision of Clark's Completed Data Base and Reiter's Closed World Assumption.", JOURNAL = "Journal of Logic Programming", YEAR = "1984", NUMBER = "1", PAGES = "1-48", ANNOTE = ""} @InCollection{She88, author = "J. C. Shepherdson", title = "Negation in Logic Programming", booktitle = "Foundation of Deductive Databases and Logic Programming", publisher = "Morgan Kaufmann", year = "1988", editor = "J. Minker, editor", pages = "19-88"} @TechReport {She88b, author = "J. C. Shepherdson", title = "Language and equality theory in Logic Programming", institution = "University Walk, Bristol, England", year = "1988", number = "PM-88-08"} @InProceedings {SF87, author = "H. Seki and K. Furukawa", title = "Notes on transformation techniques for generate and test logic programs", booktitle = "Symposium on Logic Programming, San Francisco, California, August 1987", year = "1987", pages = "215-223", publisher = "IEEE", OPTnote = ""} @InProceedings {ST84, author = "T. Sato and H. Tamaki", title = "Transformational logic program systhesis", booktitle = "International Conference on Fifth Generation Computer Systems, Tokyo, Japan, November 1984", year = "1984", pages = "195-201", publisher = "ICOT", OPTnote = ""} @TechReport {TS83, author = "H. Tamaki and T. Sato", title = "A transformation system for logic programs which preserves equivalence", institution = "ICOT, Tokyo, Japan", year = "1983", number = "ICOT TR-018", month = "August"} @inproceedings{TS84, author = {H. Tamaki and T. Sato}, title = {Unfold/{F}old {T}ransformations of {L}ogic {P}rograms}, booktitle = iclp84, editor = ediclp84, pages = {127-139}, year = 1984} @ARTICLE { EK76 , AUTHOR = "M.H. van Emden and R.A. Kowalski", TITLE = "The Semantics of Predicate Logic as a Programming Language", JOURNAL = JACM, YEAR = "1976", MONTH = "October", VOLUME = "23", NUMBER = "4", PAGES = "733-742", ANNOTE = ""} @TechReport {Vie86, author = "L. Vielle", title = "Recursion in Deductive Databases: a DB-complete proof procedure based on SLD-resolution", institution = "ECRC", year = "1986", number = "Tech. Report Kb-15", month = ""} @InProceedings {ZS87, author = "C. Zaniolo and D. Sacc\'{a}", title = "Implementation of recursive queries for a language based on pure Horn logic", booktitle = "4th International Conference on Logic Programming, Melbourne, Australia, May 1987", year = "1987", editor = "J.-L. Lassez", pages = "104-135", publisher = "The MIT Press", OPTnote = ""} @InProceedings {VGRS88, author = "A. Van Gelder and K. Ross and J. S. Schlipf", title = "Unfounded sets and the {W}ell-{F}ounded {S}emantics for {G}eneral {L}ogic {P}rograms", booktitle = "Proc. Seventh ACM symposium on Principles of Database System", year = "1988", pages = "211-230"} @inproceedings{AD92, author = "C. Aravidan and P. M. Dung", title = "Partial deduction of logic programs w.r.t. well-founded semantics", booktitle = "Proceedings of the Third International Conference on Algebraic and Logic Programming", publisher = "Springer-Verlag", pages = "384-402", editor = "H. Kirchner G. Levi", year = 1992 } @inproceedings{AP91, author = "K. R. Apt and D. Pedreschi", title = " Proving Termination of General {P}rolog Programs", booktitle = "Proceedings of the International Conference on Theoretical Aspects of Computer Software", editor = "T. Ito and A. Meyer", publisher = "Springer-Verlag", series = "Lecture Notes in Computer Science 526", address = "Berlin", pages = "265-289", year = 1991 } @InProceedings {BC89, author = "A. Bossi and N. Cocco", title = "Verifying correctness of logic programs", booktitle = "TAPSOFT '89, Barcelona, Spain, March 1989, (Lecture Notes in Computer Science, vol. 352)", year = "1989", pages = " 96-110", publisher = S-V, editor = "J. Diaz and F. Orejas", OPTnote = ""} @ARTICLE {BCD90, AUTHOR = "A. Bossi and N. Cocco and S. Dulli", TITLE = "A method for specializing logic programs", JOURNAL = "ACM Transactions on Programming Languages and Systems", YEAR = "1990", MONTH = "April", VOLUME = "12", NUMBER = "2", PAGES = "253-302", ANNOTE = ""} @InProceedings {BCE92b, author = "A. Bossi and N. Cocco and S. Etalle", title = "Transforming Normal Program by Replacement", booktitle = "Third Workshop on Metaprogramming in Logic, META92: Uppsala, Sweden", month = "June", year = "1992"} @TechReport{BCE93, AUTHOR = "A. Bossi and N. Cocco and S. Etalle", TITLE = "Simultaneous Replacement in Normal Programs", INSTITUTION = cwi, number = "CS-R9357", month = "August", year = "1993"} @ARTICLE {Bez93, AUTHOR = "M. Bezem", TITLE = "Strong termination of logic programs", JOURNAL = "Journal of Logic Programming", YEAR = "1993", NUMBER = "15", pages = "79-97", ANNOTE = ""} @ARTICLE {BD77, AUTHOR = "R.M. Burstall and J. Darlington", TITLE = "A transformation system for developing recursive programs", JOURNAL = JACM, YEAR = "1977", MONTH = "January", VOLUME = "24", NUMBER = "1", PAGES = "44-67", ANNOTE = ""} @InProceedings{BL90, author = "K. Benkerimi and J. W. Lloyd", title = "A partial evaluation procedure for logic programs", booktitle = "Logic Programming: Proceedings of the 1990 North American Conference, Austin, Texas, October 1990", year = "1990", editor = "S. Debray and M. Hermenegildo", pages = "343-358", publisher = "MIT Press"} @InProceedings{BM93, author = "B. Bertolino and M. Mowbray", title = "A Completeness Result for SLDNF-resolution", booktitle = "GULP'93: Atti dell'Ottavo Convegno sulla Programmazione Logica, Gizzera, Italy, June 1993", year = "1993", editor = "Domnico Sacc\`a", pages = "301-307", publisher = "Mediterranean Press"} @InProceedings {BR86, author = "F. Bancilhon and R. Ramakrishnan", title = "An amateur's introduction to recursive query processing strategies", booktitle = "ACM SIGMOD Conference, Washington, U.S.A., May 1986", year = "1986", pages = "16-52", publisher = "ACM", OPTnote = ""} @InProceedings {Cav89, author = "L. Cavedon", title = "Continuity, consistency and completeness properties for logic programs", booktitle = "6 International Conference on Logic Programming", year = "1989", pages = "571-584", publisher = "MIT press", editor = "G. Levi and M. Martelli", OPTnote = ""} @Article {Cav91, author = "L. Cavedon", title = "Acyclic programs and the completeness of {SLDNF}-resolution", journal = "Journal of Theoretical Computer Science", volume = "86", year = "1991", pages = "81-92"} @InCollection{Cla78, author = "K. L. Clark", title = "Negation as failure rule", booktitle = "Logic and Data Bases", publisher = "Plenum Press", year = "1978", editor = "H. Gallaire and G. Minker", pages = "293-322"} @InProceedings {CT77, author = "K.L. Clark and S. Tarnlund", title = "A first order theory of data and programs", booktitle = "IFIP 77", year = "1977", pages = "939-944", publisher = "", OPTnote = ""} @InProceedings {CS77, author = "K.L. Clark and S. Sickel", title = "Predicate logic: a calculus for deriving programs", booktitle = "Proceedings of IJCAI'77", year = "1977", pages = "419-120", publisher = "", OPTnote = ""} @BOOK {Dev90, AUTHOR = "Y. Deville", TITLE = "Logic Programming. Systematic Program Development", PUBLISHER = A-W, YEAR = "1990", NOTE = "", ANNOTE = ""} @ARTICLE { DM88 , AUTHOR = "W. Drabent and J. Maluszynski", TITLE = "Inductive assertion method for logic programs", JOURNAL = TCS, YEAR = "1988", MONTH = "", VOLUME = "59", NUMBER = "", PAGES = "133-155", ANNOTE = ""} @MISC {Eta91, AUTHOR = "S. Etalle", TITLE = "Transformazione dei programmi logici con negazione, {T}esi di {L}aurea, {D}ip. {M}atematica {P}ura e {A}pplicata, {U}niversit\`{a} di {P}adova, {P}adova, {I}taly", HOWUBLISHED = "Tesi di Laurea, Universit\`{a} di Padova", YEAR = "1991", MONTH = "July"} @ARTICLE {Fit85, AUTHOR = "M. Fitting", TITLE = "A {K}ripke-{K}leene semantics for {L}ogic {P}rograms", JOURNAL = "Journal of Logic Programming", YEAR = "1985", NUMBER = "4", ANNOTE = ""} @InProceedings {FLMP88, author = "M. Falaschi and G. Levi and M. Martelli and C. Palamidessi", title = "A new declarative semantics for logic languages", booktitle = "ICLP '88", year = "1988", pages = "993-1005", publisher = "The Mit Press", OPTnote = ""} @ARTICLE {FLMP89a, AUTHOR = "M. Falaschi and G. Levi and M. Martelli and C. Palamidessi", TITLE = "Declarative modelling of the operational behavior of logic languages", JOURNAL = TCS, YEAR = "1989", MONTH = "", VOLUME = "69", NUMBER = "3", PAGES = "289-318", ANNOTE = ""} @TechReport {FLMP89b, author = "M. Falaschi and G. Levi and M. Martelli and C. Palamidessi", title = "A model-theoretic reconstruction of the operational semantics of logic programs", institution = "Dipartimento di Informatica, Universit\'{a} di Pisa, Italy", year = "1989", number = "32/89", month = "September", note = "to appear in Information and Computation"} @inproceedings{GL88, author = "M. Gelfond and V. Lifshitz", title = "The {S}table {M}odel {S}emantics for {L}ogic {P}rograms", booktitle = "Fifth international Conference and Symposium on Logic programming, Seattle, U.S.A.", year = "1988", pages = "1070-1080", publisher = "", OPTnote = ""} @inproceedings{GRS88, author = {A. van Gelder and K. Ross and J. S. Schlipf}, title = {Unfounded {S}ets and {W}ell-{F}ounded {S}emantics for {G}eneral {P}rograms}, booktitle = "Proc. ACM Symp. on Principles of Database Systems", year = "1988", publisher = "ACM", pages = {221-230} } @ARTICLE { Hog81, AUTHOR = "C.J. Hogger", TITLE = "Derivation of Logic Programs", JOURNAL = JACM, YEAR = "1981", MONTH = "April", VOLUME = "28", NUMBER = "2", PAGES = "372-392", ANNOTE = ""} @BOOK { Hog84, AUTHOR = "C.J. Hogger", TITLE = "Introduction to Logic Programming", PUBLISHER = AP, YEAR = "1984", NOTE = "", ANNOTE = ""} @BOOK {Kle52, AUTHOR = "S.C. Kleene", TITLE = "Introduction to Metamathematics", PUBLISHER = "D. van Nostrand", ADDRESS = "Princeton, New Jersey", YEAR = "1952", ANNOTE = "A profound treatment of recursive function theory, this book studies properties of the class of partial recursive functions and operations on codes for functions in much detail. Among other things, the S-m-n theorem, enumeration, and the first and second recursion theorems are treated."} @inproceedings{Kom82, author = "H. Komorowski", title = {Partial evaluation as a means for inferencing data structures in an applicative language: A theory and implementation in the case of {P}rolog.}, booktitle = {\em Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico}, pages = "255--267", organization = "ACM", year = "1982"} @ARTICLE {Kun87, AUTHOR = "K. Kunen", TITLE = "Negation in logic programming", JOURNAL = "Journal of Logic Programming", YEAR = "1985", NUMBER = "4", PAGES = "289-308", ANNOTE = ""} @TechReport {LM88, author = "G. Levi and P. Mancarella", title = "The unfolding semantics of logic programs", institution = "Dipartimento di Informatica, Universit\'{a} di Pisa, Italy", year = "1988", number = "13/88", month = "September"} @article{LS91, author = {J. W. Lloyd and J. C. Shepherdson}, title = {Partial {E}valuation in {L}ogic {P}rogramming}, journal = jlp, volume = 11, pages = {217-242}, year = 1991}} @phdthesis{Mah85, author = {M. Maher}, title = {Semantics of {L}ogic {P}rogramming}, school = {University of Melbourne, Computer Science Department}, year = {1985}} @inproceedings{Mah87b, author = "M. J. Maher", title = "Logic semantics for a class of committed-choice programs", editor = ediclp87, booktitle = iclp87, pages= "858-876", publisher = mit, year = "1987"} @InCollection{Mah88, author = "M.J. Maher", title = "Equivalences of Logic Programs", booktitle = "Foundation of Deductive Databases and Logic Programming", publisher = "Morgan Kaufmann", year = "1988", editor = "J. Minker, editor", pages = "627-658"} @inproceedings{Mah89, author = "M.J. Maher", title = "A Transformation System for Deductive Databases Modules with Perfect Model Semantics", booktitle = "Proceedings of the 9th Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India. LNCS 405.", year = "1989", pages = "", publisher = "Sringer-Verlag", OPTnote = "to appear on Theoretical Computer Science"} @article {Mah, author = "M.J. Maher", title = "A Transformation System for Deductive Databases with Perfect Model Semantics", journal = "Theoretical Computer Science", year = "to appear"} @unpublished {Mah2, author = "M.J. Maher", title = "Reasonings about {S}table Models (and other Unstable Semantics), submitted for publication"} @TechReport {PP88, author = "M. Proietti and A. Pettorossi", title = "Techniques for the automatic Improvement of Logic Programs", institution = "IASI-CNR, Roma, Italy", year = "1988", number = "Tech. Report IASI-CNR R231", month = ""} @InProceedings {PP89, author = "A. Pettorossi and M. Proietti", title = "Decidability results and characterization of strategies for the development of logic programs", booktitle = "6th International Conference on Logic Programming", year = "1989", pages = "539-553", editor = "G. Levi and M. Martelli", publisher = "The Mit Press", OPTnote = ""} @InProceedings {PP90, author = "M. Proietti and A. Pettorossi", title = "The synthesis of Eureka predicates for developing logic programs", booktitle = "ESOP'90, (Lecture Notes in Computer Science, Vol. 432)", year = "1990", pages = "306-325", editor = "N. Jones", publisher = S-V, OPTnote = ""} @ARTICLE { PS83, AUTHOR = "H. Partsch and R. Steinbruggen", TITLE = "Program Transformation Systems", JOURNAL = "ACM Computing Surveys", YEAR = "1983", MONTH = "September", VOLUME = "15", NUMBER = "3", PAGES = "199-236", ANNOTE = ""} @InProceedings {Prz88, author = "T. C. Przymusinki", title = "Perfect model semantics", booktitle = "Fifth international Conference and Symposium on Logic programming, Seattle, U.S.A.", year = "1988", pages = "1081-1096", publisher = "", OPTnote = ""} @inproceedings{Prz89, author = "T. Przymusinski", title = "Every logic program has a natural stratification and an iterated least fixed point model", booktitle = "Proceedings of the Eighth Symposium on Principles of Database Systems", pages = "11-21", publisher = "ACM SIGACT-SIGMOD", year = 1989 } @InProceedings{Sah90, author = "D. Sahlin", title = "The {Mixtus} Approach to Automatic Partial Evaluation of Full {Prolog}", booktitle = "Logic Programming: Proceedings of the 1990 North American Conference, Austin, Texas, October 1990", year = "1990", editor = "S. Debray and M. Hermenegildo", pages = "377-398", publisher = "MIT Press"} @article{Sato90b, author = {T. Sato}, title = {Completed {L}ogic {P}rograms and {T}heir {C}onsistency}, journal = jlp, volume = {9}, number = {1}, year = {1990}, pages = {33-44}} @ARTICLE { She84, AUTHOR = "J. C. Shepherdson", TITLE = "Negation as failure: a comparision of Clark's Completed Data Base and Reiter's Closed World Assumption.", JOURNAL = "Journal of Logic Programming", YEAR = "1984", NUMBER = "1", PAGES = "1-48", ANNOTE = ""} @InCollection{She88, author = "J. C. Shepherdson", title = "Negation in Logic Programming", booktitle = "Foundation of Deductive Databases and Logic Programming", publisher = "Morgan Kaufmann", year = "1988", editor = "J. Minker, editor", pages = "19-88"} @TechReport {She88b, author = "J. C. Shepherdson", title = "Language and equality theory in Logic Programming", institution = "University Walk, Bristol, England", year = "1988", number = "PM-88-08"} @InProceedings {SF87, author = "H. Seki and K. Furukawa", title = "Notes on transformation techniques for generate and test logic programs", booktitle = "Symposium on Logic Programming, San Francisco, California, August 1987", year = "1987", pages = "215-223", publisher = "IEEE", OPTnote = ""} @InProceedings {ST84, author = "T. Sato and H. Tamaki", title = "Transformational logic program systhesis", booktitle = "International Conference on Fifth Generation Computer Systems, Tokyo, Japan, November 1984", year = "1984", pages = "195-201", publisher = "ICOT", OPTnote = ""} @TechReport {TS83, author = "H. Tamaki and T. Sato", title = "A transformation system for logic programs which preserves equivalence", institution = "ICOT, Tokyo, Japan", year = "1983", number = "ICOT TR-018", month = "August"} @ARTICLE { EK76 , AUTHOR = "M.H. van Emden and R.A. Kowalski", TITLE = "The Semantics of Predicate Logic as a Programming Language", JOURNAL = JACM, YEAR = "1976", MONTH = "October", VOLUME = "23", NUMBER = "4", PAGES = "733-742", ANNOTE = ""} @TechReport {Vie86, author = "L. Vielle", title = "Recursion in Deductive Databases: a DB-complete proof procedure based on SLD-resolution", institution = "ECRC", year = "1986", number = "Tech. Report Kb-15", month = ""} @InProceedings {ZS87, author = "C. Zaniolo and D. Sacc\'{a}", title = "Implementation of recursive queries for a language based on pure Horn logic", booktitle = "4th International Conference on Logic Programming, Melbourne, Australia, May 1987", year = "1987", editor = "J.-L. Lassez", pages = "104-135", publisher = "The MIT Press", OPTnote = ""} @InProceedings {VGRS88, author = "A. Van Gelder and K. Ross and J. S. Schlipf", title = "Unfounded sets and the {W}ell-{F}ounded {S}emantics for {G}eneral {L}ogic {P}rograms", booktitle = "Proc. Seventh ACM symposium on Principles of Database System", year = "1988", pages = "211-230"} @inproceedings{BCE92a, author = {A. Bossi and N. Cocco and S. Etalle}, title = {On {S}afe {F}olding}, booktitle = "Programming {L}anguage {I}mplementation and {L}ogic {P}rogramming - {P}roceedings {PLILP}'92", series = lncs, volume =631 , publisher = springer, editor = "M. Bruynooghe and M. Wirsing", pages = "172-186", year = "1992"} @inproceedings{Pal90, author = {C. Palamidessi}, title = {Algebraic Properties of Idempotent Substitutions}, booktitle = {Proc. of the 17th International Colloquium on Automata, Languages and Programming}, editor = {M. S. Paterson}, pages = {386-399}, year = 1990, volume = 443, publisher = springer, series = lncs} @inproceedings{VP86, author = "T. Vasak and J. Potter", title = {Characterization of {T}erminating {L}ogic {P}rograms}, booktitle = slp86, pages = "140-147", publisher = "IEEE Comp. Soc. Press", year = "1986"} @ARTICLE{Eder85, AUTHOR = {Eder, E.}, TITLE = {Properties of substitutions and unifications}, JOURNAL = {Journal of Symbolic Computation}, YEAR = 1985, VOLUME = 1, NUMBER = {1}, PAGES = {31--48}}