@inproceedings(AntoyHanus05LOPSTR,
 author       = {S. Antoy and M. Hanus},
 year         = {2005},
 title        = {Declarative Programming with Function Patterns},
 booktitle    = {Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05)},
 publisher    = {Springer LNCS 3901},
 pages        = {6--22},
)
@article(AntoyHanus10CACM,
 author       = {S. Antoy and M. Hanus},
 year         = {2010},
 title        = {Functional Logic Programming},
 journal      = {Communications of the ACM},
 volume       = {53},
 number       = {4},
 pages        = {74--85},
 doi          = {10.1145/1721654.1721675},
)
@inproceedings(BrasselHanusMueller08PADL,
 author       = {Bra{\ss}el, B. and M. Hanus and M. M{\"u}ller},
 year         = {2008},
 title        = {High-Level Database Programming in {Curry}},
 booktitle    = {Proc. of the Tenth International Symposium on Practical Aspects of Declarative Languages (PADL'08)},
 publisher    = {Springer LNCS 4902},
 pages        = {316--332},
 doi          = {10.1007/978-3-540-77442-6\_21},
)
@inproceedings(BrasselHanusPeemoellerReck11,
 author       = {Bra{\ss}el, B. and M. Hanus and B. Peem{\"o}ller and F. Reck},
 year         = {2011},
 title        = {{KiCS2}: A New Compiler from {Curry} to {Haskell}},
 booktitle    = {Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)},
 publisher    = {Springer LNCS 6816},
 pages        = {1--18},
 doi          = {10.1007/978-3-642-22531-4\_1},
)
@inproceedings(CaballeroLopez99,
 author       = {R. Caballero and L{\'o}pez-Fraguas, F.J.},
 year         = {1999},
 title        = {A Functional-Logic Perspective of Parsing},
 booktitle    = {Proc. 4th Fuji International Symposium on Functional and Logic Programming (FLOPS'99)},
 publisher    = {Springer LNCS 1722},
 pages        = {85--99},
 doi          = {10.1007/10705424\_6},
)
@article(Chen76,
 author       = {P. P.-S. Chen},
 year         = {1976},
 title        = {The Entity-Relationship Model---Toward a Unified View of Data},
 journal      = {ACM Transactions on Database Systems},
 volume       = {1},
 number       = {1},
 pages        = {9--36},
 doi          = {10.1145/320434.320440},
)
@inproceedings(CooperLindleyWadlerYallop06,
 author       = {E. Cooper and S. Lindley and P. Wadler and J. Yallop},
 year         = {2006},
 title        = {Links: Web Programming Without Tiers},
 booktitle    = {5th International Symposium on Formal Methods for Components and Objects (FMCO 2006)},
 publisher    = {Springer LNCS 4709},
 pages        = {266--296},
 doi          = {10.1007/978-3-540-74792-5\_12},
)
@inproceedings(CorreasEtAl04,
 author       = {J. Correas and J.M. G{\'o}mez and M. Carro and D. Cabeza and M. Hermenegildo},
 year         = {2004},
 title        = {A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations)},
 booktitle    = {Proc. of the Sixth International Symposium on Practical Aspects of Declarative Languages (PADL'04)},
 publisher    = {Springer LNCS 3057},
 pages        = {104--119},
 doi          = {10.1007/978-3-540-24836-1\_8},
)
@book(Das92,
 author       = {S.K. Das},
 year         = {1992},
 title        = {Deductive Databases and Logic Programming},
 publisher    = {Addison-Wesley},
)
@proceedings(GallaireMinker78,
 editor       = {H. Gallaire and J. Minker},
 year         = {1978},
 title        = {Logic and Databases},
 publisher    = {Plenum Press},
 address      = {New York},
)
@inproceedings(Hanus97POPL,
 author       = {M. Hanus},
 year         = {1997},
 title        = {A Unified Computation Model for Functional and Logic Programming},
 booktitle    = {Proc.\ of the 24th ACM Symposium on Principles of Programming Languages (Paris)},
 pages        = {80--93},
 doi          = {10.1145/263699.263710},
)
@inproceedings(Hanus00PADL,
 author       = {M. Hanus},
 year         = {2000},
 title        = {A Functional Logic Programming Approach to Graphical User Interfaces},
 booktitle    = {International Workshop on Practical Aspects of Declarative Languages (PADL'00)},
 publisher    = {Springer LNCS 1753},
 pages        = {47--62},
)
@article(Hanus04JFLP,
 author       = {M. Hanus},
 year         = {2004},
 title        = {Dynamic Predicates in Functional Logic Programs},
 journal      = {Journal of Functional and Logic Programming},
 volume       = {2004},
 number       = {5},
)
@inproceedings(Hanus06PPDP,
 author       = {M. Hanus},
 year         = {2006},
 title        = {Type-Oriented Construction of Web User Interfaces},
 booktitle    = {Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP'06)},
 publisher    = {ACM Press},
 pages        = {27--38},
)
@inproceedings(Hanus13,
 author       = {M. Hanus},
 year         = {2013},
 title        = {Functional Logic Programming: From Theory to {Curry}},
 booktitle    = {Programming Logics - Essays in Memory of Harald Ganzinger},
 publisher    = {Springer LNCS 7797},
 pages        = {123--168},
 doi          = {10.1007/978-3-642-37651-1\_6},
)
@misc(Hanus16PAKCS,
 author       = {M. Hanus and S. Antoy and Bra{\ss}el, B. and M. Engelke and K. H{\"o}ppner and J. Koj and P. Niederau and R. Sadre and F. Steiner},
 year         = {2016},
 title        = {{PAKCS}: The {P}ortland {A}achen {K}iel {C}urry {S}ystem},
 howpublished = {Available at \url{http://www.informatik.uni-kiel.de/~pakcs/}},
)
@article(HanusKoschnicke14TPLP,
 author       = {M. Hanus and S. Koschnicke},
 year         = {2014},
 title        = {An {ER-based} Framework for Declarative Web Programming},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {14},
 number       = {3},
 pages        = {269--291},
 doi          = {10.1017/S1471068412000385},
)
@misc(Hanus16Curry,
 author       = {Hanus (ed.), M.},
 year         = {2016},
 title        = {Curry: An Integrated Functional Logic Language (Vers.\ 0.9.0)},
 howpublished = {Available at \url{http://www.curry-language.org}},
)
@book(Huseby03,
 author       = {S.H. Huseby},
 year         = {2003},
 title        = {Innocent Code: A Security Wake-Up Call for Web Programmers},
 publisher    = {Wiley},
)
@mastersthesis(Krone15,
 author       = {J. Krone},
 year         = {2015},
 title        = {Integration of {SQL} into {Curry}},
 school       = {University of Kiel},
)
@inproceedings(LeijenMeijer99,
 author       = {D. Leijen and E. Meijer},
 year         = {1999},
 title        = {Domain Specific Embedded Compilers},
 booktitle    = {Proceedings of the 2nd Conference on Domain-Specific Languages (DSL'99)},
 publisher    = {ACM SIGPLAN Notices 35(1)},
 pages        = {109--122},
 doi          = {10.1145/331960.331977},
)
@inproceedings(Mainland07,
 author       = {G. Mainland},
 year         = {2007},
 title        = {Why It's Nice to be Quoted: Quasiquoting for {Haskell}},
 booktitle    = {Proceedings of the ACM SIGPLAN Workshop on Haskell (Haskell 2007)},
 publisher    = {ACM Press},
 pages        = {73--82},
 doi          = {10.1145/1291201.1291211},
)
@inproceedings(Martin-Martin11,
 author       = {Martin-Martin, E.},
 year         = {2011},
 title        = {Type classes in functional logic programming},
 booktitle    = {Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)},
 publisher    = {ACM Press},
 pages        = {121--130},
 doi          = {10.1145/1929501.1929524},
)
@article(MazanekHanus11,
 author       = {S. Mazanek and M. Hanus},
 year         = {2011},
 title        = {Constructing a Bidirectional Transformation between {BPMN} and {BPEL} with a Functional Logic Programming Language},
 journal      = {Journal of Visual Languages and Computing},
 volume       = {22},
 number       = {1},
 pages        = {66--89},
 doi          = {10.1016/j.jvlc.2010.11.005},
)
@inproceedings(OhoriUeno11,
 author       = {A. Ohori and K. Ueno},
 year         = {2011},
 title        = {Making standard {ML} a practical database programming language},
 booktitle    = {Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11)},
 pages        = {307--319},
 doi          = {10.1145/2034773.2034815},
)
@inproceedings(OhoriEtAl14,
 author       = {A. Ohori and K. Ueno and K. Hoshi and S. Nozaki and T. Sato and T. Makabe and Y. Ito},
 year         = {2014},
 title        = {{SML\#} in industry: a practical {ERP} system development},
 booktitle    = {Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming (ICFP'14)},
 pages        = {167--173},
 doi          = {10.1145/2628136.2628164},
)
@book(PeytonJones03Haskell,
 editor       = {Peyton Jones, S.},
 year         = {2003},
 title        = {Haskell 98 Language and Libraries---The Revised Report},
 publisher    = {Cambridge University Press},
)
@article(Wong00,
 author       = {L. Wong},
 year         = {2000},
 title        = {Kleisli, a functional query system},
 journal      = {Journal of Functional Programming},
 volume       = {10},
 number       = {1},
 pages        = {19--56},
 doi          = {10.1017/S0956796899003585},
)