Commit da88b1f8 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Added bibliography database, changed bibliography style

parent ed32ea84
\begin{thebibliography}{10}
\bibitem{Ait-Kaci90}
H.~A{\"\i}t-Kaci.
\newblock An Overview of LIFE.
\newblock In J.W. Schmidt and A.A. Stogny, editors, {\em Proc. Workshop on Next
Generation Information System Technology}, pp. 42--58. Springer LNCS 504,
1990.
\bibitem{Ait-KaciLincolnNasr87}
H.~A{\"\i}t-Kaci, P.~Lincoln, and R.~Nasr.
\newblock {Le Fun}: Logic, equations, and Functions.
\newblock In {\em Proc. 4th IEEE Internat. Symposium on Logic Programming}, pp.
17--23, San Francisco, 1987.
\bibitem{AlbertHanusHuchOliverVidal05}
E.~Albert, M.~Hanus, F.~Huch, J.~Oliver, and G.~Vidal.
\newblock Operational Semantics for Declarative Multi-Paradigm Languages.
\newblock {\em Journal of Symbolic Computation}, Vol.~40, No.~1, pp. 795--829,
2005.
\bibitem{Antoy92ALP}
S.~Antoy.
\newblock Definitional Trees.
\newblock In {\em Proc. of the 3rd International Conference on Algebraic and
Logic Programming}, pp. 143--157. Springer LNCS 632, 1992.
\bibitem{Antoy97ALP}
S.~Antoy.
\newblock Optimal Non-Deterministic Functional Logic Computations.
\newblock In {\em Proc. International Conference on Algebraic and Logic
Programming (ALP'97)}, pp. 16--30. Springer LNCS 1298, 1997.
\bibitem{AntoyEchahedHanus97ICLP}
S.~Antoy, R.~Echahed, and M.~Hanus.
\newblock Parallel Evaluation Strategies for Functional Logic Languages.
\newblock In {\em Proc.\ of the Fourteenth International Conference on Logic
Programming (ICLP'97)}, pp. 138--152. MIT Press, 1997.
\bibitem{AntoyEchahedHanus00JACM}
S.~Antoy, R.~Echahed, and M.~Hanus.
\newblock A Needed Narrowing Strategy.
\newblock {\em Journal of the ACM}, Vol.~47, No.~4, pp. 776--822, 2000.
\bibitem{AntoyHanus10CACM}
S.~Antoy and M.~Hanus.
\newblock Functional Logic Programming.
\newblock {\em Communications of the ACM}, Vol.~53, No.~4, pp. 74--85, 2010.
\bibitem{ArenasGilLopez94PLILP}
P.~Arenas-S{\'a}nchez, A.~Gil-Luezas, and F.J. L{\'o}pez-Fraguas.
\newblock Combining Lazy Narrowing with Disequality Constraints.
\newblock In {\em Proc. of the 6th International Symposium on Programming
Language Implementation and Logic Programming}, pp. 385--399. Springer LNCS
844, 1994.
\bibitem{BertEchahed86}
D.~Bert and R.~Echahed.
\newblock Design and Implementation of a Generic, Logic and Functional
Programming Language.
\newblock In {\em Proc. European Symposium on Programming}, pp. 119--132.
Springer LNCS 213, 1986.
\bibitem{BonnierMaluszynski88}
S.~Bonnier and J.~Maluszynski.
\newblock Towards a Clean Amalgamation of Logic Programs with External
Procedures.
\newblock In {\em Proc. 5th Conference on Logic Programming \& 5th Symposium on
Logic Programming (Seattle)}, pp. 311--326. MIT Press, 1988.
\bibitem{Boye91}
J.~Boye.
\newblock S-SLD-resolution -- An Operational Semantics for Logic Programs with
External Procedures.
\newblock In {\em Proc. of the 3rd Int. Symposium on Programming Language
Implementation and Logic Programming}, pp. 383--393. Springer LNCS 528, 1991.
\bibitem{BreitingerLoogenOrtega95}
S.~Breitinger, R.~Loogen, and Y.~Ortega-Mallen.
\newblock Concurrency in Functional and Logic Programming.
\newblock In {\em Fuji International Workshop on Functional and Logic
Programming}. World Scientific Publ., 1995.
\bibitem{ChakravartyEtAl98Goffin}
M.M.T. Chakravarty, Y.~Guo, M.~K{\"o}hler, and H.C.R. Lock.
\newblock Goffin - Higher-Order Functions Meet Concurrent Constraints.
\newblock {\em Science of Computer Programming}, Vol.~30, No.~1-2, pp.
157--199, 1998.
\bibitem{DamasMilner82}
L.~Damas and R.~Milner.
\newblock Principal type-schemes for functional programs.
\newblock In {\em Proc. 9th Annual Symposium on Principles of Programming
Languages}, pp. 207--212, 1982.
\bibitem{DershowitzJouannaud90}
N.~Dershowitz and J.-P. Jouannaud.
\newblock Rewrite Systems.
\newblock In J.~van Leeuwen, editor, {\em Handbook of Theoretical Computer
Science, Vol.~B}, pp. 243--320. Elsevier, 1990.
\bibitem{EchahedJanodet98}
R.~Echahed and J.-C. Janodet.
\newblock Admissible Graph Rewriting and Narrowing.
\newblock In {\em Proc. Joint International Conference and Symposium on Logic
Programming (JICSLP'98)}, pp. 325--340, 1998.
\bibitem{Fribourg85}
L.~Fribourg.
\newblock SLOG: A Logic Programming Language Interpreter Based on Clausal
Superposition and Rewriting.
\newblock In {\em Proc. IEEE Internat. Symposium on Logic Programming}, pp.
172--184, Boston, 1985.
\bibitem{GiovannettiLeviMoisoPalamidessi91}
E.~Giovannetti, G.~Levi, C.~Moiso, and C.~Palamidessi.
\newblock Kernel LEAF: A Logic plus Functional Language.
\newblock {\em Journal of Computer and System Sciences}, Vol.~42, No.~2, pp.
139--185, 1991.
\bibitem{GonzalezEtAl99}
J.C. Gonz{\'a}lez-Moreno, M.T. Hortal{\'a}-Gonz{\'a}lez, F.J.
L{\'o}pez-Fraguas, and M.~Rodr{\'\i}guez-Artalejo.
\newblock An approach to declarative programming based on a rewriting logic.
\newblock {\em Journal of Logic Programming}, Vol.~40, pp. 47--87, 1999.
\bibitem{Gonzalez-MorenoEtAl97ICLP}
J.C. Gonz{\'a}lez-Moreno, M.T. Hortal{\'a}-Gonz{\'a}lez, and
M.~Rodr{\'\i}guez-Artalejo.
\newblock A Higher Order Rewriting Logic for Functional Logic Programming.
\newblock In {\em Proc.\ of the Fourteenth International Conference on Logic
Programming (ICLP'97)}, pp. 153--167. MIT Press, 1997.
\bibitem{Hanus90PLILP}
M.~Hanus.
\newblock Compiling Logic Programs with Equality.
\newblock In {\em Proc. of the 2nd Int. Workshop on Programming Language
Implementation and Logic Programming}, pp. 387--401. Springer LNCS 456, 1990.
\bibitem{Hanus94JLP}
M.~Hanus.
\newblock The Integration of Functions into Logic Programming: From Theory to
Practice.
\newblock {\em Journal of Logic Programming}, Vol.~19\&20, pp. 583--628, 1994.
\bibitem{Hanus97DPLE}
M.~Hanus.
\newblock Teaching Functional and Logic Programming with a Single Computation
Model.
\newblock In {\em Proc.\ Ninth International Symposium on Programming
Languages, Implementations, Logics, and Programs (PLILP'97)}, pp. 335--350.
Springer LNCS 1292, 1997.
\bibitem{Hanus97POPL}
M.~Hanus.
\newblock A Unified Computation Model for Functional and Logic Programming.
\newblock In {\em Proc.\ of the 24th ACM Symposium on Principles of Programming
Languages (Paris)}, pp. 80--93, 1997.
\bibitem{Hanus07ICLP}
M.~Hanus.
\newblock Multi-paradigm Declarative Languages.
\newblock In {\em Proceedings of the International Conference on Logic
Programming (ICLP 2007)}, pp. 45--75. Springer LNCS 4670, 2007.
\bibitem{HanusPrehofer99JFP}
M.~Hanus and C.~Prehofer.
\newblock Higher-Order Narrowing with Definitional Trees.
\newblock {\em Journal of Functional Programming}, Vol.~9, No.~1, pp. 33--75,
1999.
\bibitem{HanusSadre99JFLP}
M.~Hanus and R.~Sadre.
\newblock An Abstract Machine for {Curry} and its Concurrent Implementation in
{Java}.
\newblock {\em Journal of Functional and Logic Programming}, Vol.~1999, No.~6,
1999.
\bibitem{HillLloyd94}
P.M. Hill and J.W. Lloyd.
\newblock {\em The G{\"o}del Programming Language}.
\newblock MIT Press, 1994.
\bibitem{JansonHaridi91}
S.~Janson and S.~Haridi.
\newblock Programming Paradigms of the Andorra Kernel Language.
\newblock In {\em Proc. 1991 International Logic Programming Symposium}, pp.
167--183. MIT Press, 1991.
\bibitem{Johnsson85}
T.~Johnsson.
\newblock Lambda Lifting: Transforming Programs to Recursive Functions.
\newblock In {\em Functional Programming Languages and Computer Architecture},
pp. 190--203. Springer LNCS 201, 1985.
\bibitem{KuchenEtAl96NGC}
H.~Kuchen, R.~Loogen, J.J. Moreno-Navarro, and M.~Rodr{\'\i}guez-Artalejo.
\newblock The Functional Logic Language BABEL and Its Implementation on a Graph
Machine.
\newblock {\em New Generation Computing}, Vol.~14, pp. 391--427, 1996.
\bibitem{Lloyd94ILPS}
J.W. Lloyd.
\newblock Combining Functional and Logic Programming Languages.
\newblock In {\em Proc. of the International Logic Programming Symposium}, pp.
43--57, 1994.
\bibitem{Lloyd95}
J.W. Lloyd.
\newblock Declarative Programming in Escher.
\newblock Technical Report CSTR-95-013, University of Bristol, 1995.
\bibitem{LoogenLopezFraguasRodriguezArtalejo93PLILP}
R.~Loogen, F.~L{\'o}pez~Fraguas, and M.~Rodr{\'\i}guez~Artalejo.
\newblock A Demand Driven Computation Strategy for Lazy Narrowing.
\newblock In {\em Proc. of the 5th International Symposium on Programming
Language Implementation and Logic Programming}, pp. 184--200. Springer LNCS
714, 1993.
\bibitem{LoogenWinkler95}
R.~Loogen and S.~Winkler.
\newblock Dynamic Detection of Determinism in Functional Logic Languages.
\newblock {\em Theoretical Computer Science 142}, pp. 59--87, 1995.
\bibitem{LopezFraguas92}
F.J. L{\'o}pez~Fraguas.
\newblock A General Scheme for Constraint Functional Logic Programming.
\newblock In {\em Proc. of the 3rd International Conference on Algebraic and
Logic Programming}, pp. 213--227. Springer LNCS 632, 1992.
\bibitem{MilnerTofteHarper90}
R.~Milner, M.~Tofte, and R.~Harper.
\newblock {\em The Definition of Standard ML}.
\newblock MIT Press, 1990.
\bibitem{MorenoRodriguez92}
J.J. M{oreno-Navarro} and M.~R{odr{\'\i}guez-Artalejo}.
\newblock Logic Programming with Functions and Predicates: The Language BABEL.
\newblock {\em Journal of Logic Programming}, Vol.~12, pp. 191--223, 1992.
\bibitem{NadathurMiller88}
G.~Nadathur and D.~Miller.
\newblock An Overview of $\lambda$Prolog.
\newblock In {\em Proc. 5th Conference on Logic Programming \& 5th Symposium on
Logic Programming (Seattle)}, pp. 810--827. MIT Press, 1988.
\bibitem{Naish91}
L.~Naish.
\newblock Adding equations to NU-Prolog.
\newblock In {\em Proc. of the 3rd Int. Symposium on Programming Language
Implementation and Logic Programming}, pp. 15--26. Springer LNCS 528, 1991.
\bibitem{PeytonJones03Haskell}
S.~Peyton~Jones, editor.
\newblock {\em Haskell 98 Language and Libraries---The Revised Report}.
\newblock Cambridge University Press, 2003.
\bibitem{PeytonJonesWadler93POPL}
S.L. Peyton~Jones and P.~Wadler.
\newblock Imperative Functional Programming.
\newblock In {\em Proc. 20th Symposium on Principles of Programming Languages
(POPL'93)}, pp. 71--84, 1993.
\bibitem{Prehofer95Diss}
C.~Prehofer.
\newblock {\em Solving Higher-order Equations: From Logic to Programming}.
\newblock PhD thesis, TU M{\"u}nchen, 1995.
\newblock Also appeared as Technical Report I9508.
\bibitem{Saraswat93}
V.A. Saraswat.
\newblock {\em Concurrent Constraint Programming}.
\newblock MIT Press, 1993.
\bibitem{SchulteSmolka94}
C.~Schulte and G.~Smolka.
\newblock Encapsulated Search for Higher-Order Concurrent Constraint
Programming.
\newblock In {\em Proc. of the 1994 International Logic Programming Symposium},
pp. 505--520. MIT Press, 1994.
\bibitem{Smolka95}
G.~Smolka.
\newblock The {Oz} Programming Model.
\newblock In J.~van Leeuwen, editor, {\em Computer Science Today: Recent Trends
and Developments}, pp. 324--343. Springer LNCS 1000, 1995.
\bibitem{SuzukiMiddeldorpIda95RTA}
T.~Suzuki, A.~Middeldorp, and T.~Ida.
\newblock Level-Confluence of Conditional Rewrite Systems with Extra Variables
in Right-Hand Sides.
\newblock In {\em Rewriting Techniques and Applications (RTA'95)}, pp.
179--193. Springer LNCS 914, 1995.
\bibitem{Wadler87}
P.~Wadler.
\newblock Efficient Compilation of Pattern-Matching.
\newblock In S.L. Peyton~Jones, editor, {\em The Implementation of Functional
Programming Languages}, pp. 78--103. Prentice Hall, 1987.
\bibitem{Warren82}
D.H.D. Warren.
\newblock Higher-order extensions to {Prolog}: are they needed?
\newblock In {\em Machine Intelligence 10}, pp. 441--454, 1982.
\end{thebibliography}
@article{AntoyHanus10CACM,
author = {Antoy, S. and Hanus, M.},
journal = {Communications of the ACM},
number = {4},
pages = {74-85},
title = {Functional Logic Programming},
volume = {53},
year = {2010},
doi = {http://dx.doi.org/10.1145/1721654.1721675},
}
@article{Hanus94JLP,
author = {Hanus, M.},
journal = {Journal of Logic Programming},
pages = {583-628},
title = {The Integration of Functions into Logic Programming:
From Theory to Practice},
volume = {19\&20},
year = {1994},
}
@inproceedings{Hanus07ICLP,
author = {Hanus, M.},
booktitle = {Proceedings of the International Conference on Logic
Programming (ICLP 2007)},
pages = {45-75},
publisher = {Springer LNCS 4670},
title = {Multi-paradigm Declarative Languages},
year = {2007},
doi = {http://dx.doi.org/10.1007/978-3-540-74610-2_5},
}
@inproceedings{Hanus97DPLE,
author = {Hanus, M.},
booktitle = {Proc.\ Ninth International Symposium on Programming
Languages, Implementations, Logics, and Programs
(PLILP'97)},
pages = {335-350},
publisher = {Springer LNCS 1292},
title = {Teaching Functional and Logic Programming with a
Single Computation Model},
year = {1997},
}
@book{PeytonJones03Haskell,
editor = {Peyton Jones, S.},
publisher = {Cambridge University Press},
title = {Haskell 98 Language and Libraries---The Revised
Report},
year = {2003},
}
@book{MilnerTofteHarper90,
author = {Milner, R. and Tofte, M. and Harper, R.},
publisher = {MIT Press},
title = {The Definition of Standard ML},
year = {1990},
}
@book{HillLloyd94,
author = {Hill, P.M. and Lloyd, J.W.},
publisher = {MIT Press},
title = {The G{\"o}del Programming Language},
year = {1994},
}
@inproceedings{NadathurMiller88,
author = {Nadathur, G. and Miller, D.},
booktitle = {Proc. 5th Conference on Logic Programming \& 5th
Symposium on Logic Programming (Seattle)},
pages = {810-827},
publisher = {MIT Press},
title = {An Overview of $\lambda$Prolog},
year = {1988},
}
@inproceedings{DamasMilner82,
author = {Damas, L. and Milner, R.},
booktitle = {Proc. 9th Annual Symposium on Principles of
Programming Languages},
pages = {207-212},
title = {Principal type-schemes for functional programs},
year = {1982},
}
@article{GonzalezEtAl99,
author = {Gonz{\'a}lez-Moreno, J.C. and
Hortal{\'a}-Gonz{\'a}lez, M.T. and
L{\'o}pez-Fraguas, F.J. and
Rodr{\'\i}guez-Artalejo, M.},
journal = {Journal of Logic Programming},
pages = {47-87},
title = {An approach to declarative programming based on a
rewriting logic},
volume = {40},
year = {1999},
}
@inproceedings{Antoy97ALP,
author = {Antoy, S.},
booktitle = {Proc. International Conference on Algebraic and Logic
Programming (ALP'97)},
pages = {16-30},
publisher = {Springer LNCS 1298},
title = {Optimal Non-Deterministic Functional Logic
Computations},
year = {1997},
}
@article{LoogenWinkler95,
author = {Loogen, R. and Winkler, S.},
journal = {Theoretical Computer Science 142},
pages = {59-87},
title = {Dynamic Detection of Determinism in Functional Logic
Languages},
year = {1995},
}
@article{KuchenEtAl96NGC,
author = {Kuchen, H. and Loogen, R. and Moreno-Navarro, J.J. and
Rodr{\'\i}guez-Artalejo, M.},
journal = {New Generation Computing},
pages = {391-427},
title = {The Functional Logic Language BABEL and Its
Implementation on a Graph Machine},
volume = {14},
year = {1996},
}
@inproceedings{SuzukiMiddeldorpIda95RTA,
author = {Suzuki, T. and Middeldorp, A. and Ida, T.},
booktitle = {Rewriting Techniques and Applications (RTA'95)},
pages = {179-193},
publisher = {Springer LNCS 914},
title = {Level-Confluence of Conditional Rewrite Systems with
Extra Variables in Right-Hand Sides},
year = {1995},
}
@inproceedings{Johnsson85,
author = {Johnsson, T.},
booktitle = {Functional Programming Languages and Computer
Architecture},
pages = {190-203},
publisher = {Springer LNCS 201},
title = {Lambda Lifting: Transforming Programs to Recursive
Functions},
year = {1985},
}
@article{GiovannettiLeviMoisoPalamidessi91,
author = {Giovannetti, E. and Levi, G. and Moiso, C. and
Palamidessi, C.},
journal = {Journal of Computer and System Sciences},
number = {2},
pages = {139-185},
title = {Kernel LEAF: A Logic plus Functional Language},
volume = {42},
year = {1991},
}
@article{MorenoRodriguez92,
author = {M{oreno-Navarro}, J.J. and
R{odr{\'\i}guez-Artalejo}, M.},
journal = {Journal of Logic Programming},
pages = {191-223},
title = {Logic Programming with Functions and Predicates: The
Language BABEL},
volume = {12},
year = {1992},
}
@inproceedings{LoogenLopezFraguasRodriguezArtalejo93PLILP,
author = {Loogen, R. and L{\'o}pez Fraguas, F. and
Rodr{\'\i}guez Artalejo, M.},
booktitle = {Proc. of the 5th International Symposium on
Programming Language Implementation and Logic
Programming},
pages = {184-200},
publisher = {Springer LNCS 714},
title = {A Demand Driven Computation Strategy for Lazy
Narrowing},
year = {1993},
}
@inproceedings{ArenasGilLopez94PLILP,
author = {Arenas-S{\'a}nchez, P. and Gil-Luezas, A. and
L{\'o}pez-Fraguas, F.J.},
booktitle = {Proc. of the 6th International Symposium on
Programming Language Implementation and Logic
Programming},
pages = {385-399},
publisher = {Springer LNCS 844},
title = {Combining Lazy Narrowing with Disequality
Constraints},
year = {1994},
}
@inproceedings{LopezFraguas92,
author = {L{\'o}pez Fraguas, F.J.},
booktitle = {Proc. of the 3rd International Conference on
Algebraic and Logic Programming},
pages = {213-227},
publisher = {Springer LNCS 632},
title = {A General Scheme for Constraint Functional Logic
Programming},
year = {1992},
}
@inproceedings{BreitingerLoogenOrtega95,
author = {Breitinger, S. and Loogen, R. and Ortega-Mallen, Y.},
booktitle = {Fuji International Workshop on Functional and Logic
Programming},
publisher = {World Scientific Publ.},
title = {Concurrency in Functional and Logic Programming},
year = {1995},
}
@article{ChakravartyEtAl98Goffin,
author = {Chakravarty, M.M.T. and Guo, Y. and K{\"o}hler, M. and
Lock, H.C.R.},
journal = {Science of Computer Programming},
number = {1-2},
pages = {157-199},
title = {Goffin - Higher-Order Functions Meet Concurrent
Constraints},
volume = {30},
year = {1998},
}
@article{AntoyEchahedHanus00JACM,
author = {Antoy, S. and Echahed, R. and Hanus, M.},
journal = {Journal of the ACM},
number = {4},
pages = {776-822},
title = {A Needed Narrowing Strategy},
volume = {47},
year = {2000},
doi = {http://dx.doi.org/10.1145/347476.347484},
}
@article{HanusPrehofer99JFP,
author = {Hanus, M. and Prehofer, C.},
journal = {Journal of Functional Programming},
number = {1},
pages = {33-75},
title = {Higher-Order Narrowing with Definitional Trees},
volume = {9},
year = {1999},
}
@phdthesis{Prehofer95Diss,
author = {Prehofer, C.},
note = {Also appeared as Technical Report I9508},
school = {TU M{\"u}nchen},
title = {Solving Higher-order Equations: From Logic to
Programming},
year = {1995},
}
@inproceedings{Ait-KaciLincolnNasr87,
address = {San Francisco},
author = {A{\"\i}t-Kaci, H. and Lincoln, P. and Nasr, R.},
booktitle = {Proc. 4th IEEE Internat. Symposium on Logic
Programming},
pages = {17-23},
title = {{Le Fun}: Logic, equations, and Functions},
year = {1987},
}
@inproceedings{Smolka95,
author = {Smolka, G.},
booktitle = {Computer Science Today: Recent Trends and
Developments},
editor = {van Leeuwen, J.},
pages = {324-343},
publisher = {Springer LNCS 1000},
title = {The {Oz} Programming Model},
year = {1995},
}
@inproceedings{Gonzalez-MorenoEtAl97ICLP,
author = {Gonz{\'a}lez-Moreno, J.C. and
Hortal{\'a}-Gonz{\'a}lez, M.T. and
Rodr{\'\i}guez-Artalejo, M.},
booktitle = {Proc.\ of the Fourteenth International Conference on
Logic Programming (ICLP'97)},
pages = {153-167},
publisher = {MIT Press},
title = {A Higher Order Rewriting Logic for Functional Logic
Programming},
year = {1997},
}
@inproceedings{Warren82,
author = {Warren, D.H.D.},
booktitle = {Machine Intelligence 10},
pages = {441-454},
title = {Higher-order extensions to {Prolog}: are they
needed?},
year = {1982},
}
@inproceedings{Lloyd94ILPS,
author = {Lloyd, J.W.},
booktitle = {Proc. of the International Logic Programming
Symposium},
pages = {43-57},
title = {Combining Functional and Logic Programming Languages},
year = {1994},
}
@techreport{Lloyd95,
author = {Lloyd, J.W.},
institution = {University of Bristol},
type = {Technical Report CSTR-95-013},
title = {Declarative Programming in Escher},
year = {1995},
}
@inproceedings{Ait-Kaci90,
author = {A{\"\i}t-Kaci, H.},
booktitle = {Proc. Workshop on Next Generation Information System
Technology},
editor = {Schmidt, J.W. and Stogny, A.A.},
pages = {42-58},
publisher = {Springer LNCS 504},
title = {An Overview of LIFE},
year = {1990},
}
@inproceedings{Naish91,
author = {Naish, L.},
booktitle = {Proc. of the 3rd Int. Symposium on Programming
Language Implementation and Logic Programming},
pages = {15-26},
publisher = {Springer LNCS 528},
title = {Adding equations to NU-Prolog},
year = {1991},
}
@inproceedings{Hanus90PLILP,
author = {Hanus, M.},
booktitle = {Proc. of the 2nd Int. Workshop on Programming
Language Implementation and Logic Programming},