%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}}