@inproceedings(Antoy97ALP,
 author       = {S. Antoy},
 year         = {1997},
 title        = {Optimal Non-Deterministic Functional Logic Computations},
 booktitle    = {6th Int'l Conf. on Algebraic and Logic Programming (ALP'97)},
 volume       = {1298},
 publisher    = {Springer LNCS},
 address      = {Southampton, UK},
 pages        = {16--30},
 doi          = {10.1007/BFb0027000},
)
@inproceedings(Antoy01PPDP,
 author       = {S. Antoy},
 year         = {2001},
 title        = {Constructor-based Conditional Narrowing},
 booktitle    = {Proc.\ of the 3rd International Conference on Principles and Practice of Declarative Programming (PPDP'01)},
 publisher    = {ACM},
 address      = {Florence, Italy},
 pages        = {199--206},
 doi          = {10.1145/773184.773205},
)
@article(Antoy11ICLP,
 author       = {S. Antoy},
 year         = {2011},
 title        = {On the Correctness of Pull-Tabbing},
 journal      = {TPLP},
 volume       = {11},
 number       = {4-5},
 pages        = {713--730},
 url          = {http://dx.doi.org/10.1017/S1471068411000263},
)
@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},
 doi          = {10.1007/11680093\_2},
)
@inproceedings(AntoyHanus06ICLP,
 author       = {S. Antoy and M. Hanus},
 year         = {2006},
 title        = {Overlapping Rules and Logic Variables in Functional Logic Programs},
 booktitle    = {22nd International Conference on Logic Programming},
 publisher    = {Springer LNCS 4079},
 address      = {Seattle, WA},
 pages        = {87--101},
 doi          = {10.1007/11799573\_9},
)
@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(AntoyHanus11WFLP,
 author       = {S. Antoy and M. Hanus},
 year         = {2011},
 title        = {New Functional Logic Design Patterns},
 booktitle    = {Proc.\ of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011)},
 publisher    = {Springer LNCS 6816},
 pages        = {19--34},
 doi          = {10.1007/978-3-642-22531-4\_2},
)
@inproceedings(AntoyHanus12PADL,
 author       = {S. Antoy and M. Hanus},
 year         = {2012},
 title        = {Contracts and Specifications for Functional Logic Programming},
 booktitle    = {Proc. of the 14th International Symposium on Practical Aspects of Declarative Languages (PADL 2012)},
 publisher    = {Springer LNCS 7149},
 pages        = {33--47},
 doi          = {10.1007/978-3-642-27694-1\_4},
)
@inproceedings(Bove:2009:BOA:1616077.1616085,
 author       = {Ana Bove and Peter Dybjer and Ulf Norell},
 year         = {2009},
 title        = {A Brief Overview of Agda --- A Functional Language with Dependent Types},
 booktitle    = {Proceedings of the 22nd Int. Conference on Theorem Proving in Higher Order Logics},
 series       = {TPHOLs '09},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {73--78},
 doi          = {10.1007/978-3-642-03359-9\_6},
)
@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},
)
@article(Clarke:1996:FMS:242223.242257,
 author       = {Edmund M. Clarke and Jeannette M. Wing},
 year         = {1996},
 title        = {Formal Methods: State of the Art and Future Directions},
 journal      = {ACM Comput. Surv.},
 volume       = {28},
 number       = {4},
 pages        = {626--643},
 doi          = {10.1145/242223.242257},
)
@inproceedings(ClevaLeachLopez04PPDP,
 author       = {J.M. Cleva and J. Leach and L{\'o}pez-Fraguas, F.J.},
 year         = {2004},
 title        = {A logic programming approach to the verification of functional-logic programs},
 booktitle    = {Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming},
 publisher    = {ACM Press},
 pages        = {9--19},
 doi          = {10.1145/1013963.1013969},
)
@article(ClevaLopezFraguas07,
 author       = {J.M. Cleva and L{\'o}pez-Fraguas, F.J.},
 year         = {2007},
 title        = {Semantic Determinism and Functional Logic Program Properties},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {174},
 number       = {1},
 pages        = {3--15},
 doi          = {10.1016/j.entcs.2006.10.018},
)
@article(ClevaPita06,
 author       = {J.M. Cleva and I. Pita},
 year         = {2006},
 title        = {Verification of {CRWL} Programs with Rewriting Logic},
 journal      = {Journal of Universal Computer Science},
 volume       = {12},
 number       = {11},
 pages        = {1594--1617},
 doi          = {10.3217/jucs-012-11-1594},
)
@book(curry1980h,
 author       = {H.B. Curry and J.R. Hindley and J.P. Seldin},
 year         = {1980},
 title        = {To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism},
 publisher    = {Academic Press},
 url          = {https://books.google.com/books?id=r0SRQAAACAAJ},
)
@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.},
 year         = {1999},
 title        = {An approach to declarative programming based on a rewriting logic},
 journal      = {Journal of Logic Programming},
 volume       = {40},
 pages        = {47--87},
 doi          = {10.1016/S0743-1066(98)10029-8},
)
@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(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}},
)
@article(Hussmann92,
 author       = {H. Hussmann},
 year         = {1992},
 title        = {Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting},
 journal      = {Journal of Logic Programming},
 volume       = {12},
 pages        = {237--255},
 doi          = {10.1016/0743-1066(92)90026-Y},
)
@inproceedings(McCarthy63,
 author       = {John McCarthy},
 year         = {1963},
 title        = {A Basis for a Mathematical Theory of Computation},
 booktitle    = {Computer Programming and Formal Systems},
 publisher    = {North-Holland},
 pages        = {33--70},
 doi          = {10.1016/S0049-237X(08)72018-4},
)
@book(opac-b1084184,
 author       = {Kenneth L. McMillan},
 year         = {1993},
 title        = {Symbolic model checking},
 publisher    = {Kluwer Academic},
 address      = {Boston},
 url          = {http://opac.inria.fr/record=b1084184},
 doi          = {10.1007/978-1-4615-3190-6},
)
@article(Meyer:1992:ADC:618974.619797,
 author       = {Bertrand Meyer},
 year         = {1992},
 title        = {Applying "Design by Contract"},
 journal      = {Computer},
 volume       = {25},
 number       = {10},
 pages        = {40--51},
 doi          = {10.1109/2.161279},
)
@book(Nielson:1999:PPA:555142,
 author       = {Flemming Nielson and Hanne R. Nielson and Chris Hankin},
 year         = {1999},
 title        = {Principles of Program Analysis},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {Secaucus, NJ, USA},
 doi          = {10.1007/978-3-662-03811-6},
)
@inproceedings(Norell:2009:DTP:1481861.1481862,
 author       = {Ulf Norell},
 year         = {2009},
 title        = {Dependently Typed Programming in Agda},
 booktitle    = {Proceedings of the 4th International Workshop on Types in Language Design and Implementation},
 series       = {TLDI '09},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {1--2},
 doi          = {10.1145/1481861.1481862},
)
@inproceedings(Norell:2008:DTP:1813347.1813352,
 author       = {Ulf Norell},
 year         = {2009},
 title        = {Dependently Typed Programming in Agda},
 booktitle    = {Proceedings of the 6th International Conference on Advanced Functional Programming},
 series       = {AFP'08},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {230--266},
 url          = {http://dl.acm.org/citation.cfm?id=1813347.1813352},
 doi          = {10.1007/978-3-642-04652-0\_5},
)
@book(PeytonJones03Haskell,
 editor       = {Peyton Jones, S.},
 year         = {2003},
 title        = {Haskell 98 Language and Libraries---The Revised Report},
 publisher    = {Cambridge University Press},
)
@inproceedings(Reddy85,
 author       = {U. S. Reddy},
 year         = {1985},
 title        = {Narrowing as the Operational Semantics of Functional Languages},
 booktitle    = {Proc. IEEE Internat. Symposium on Logic Programming},
 address      = {Boston},
 pages        = {138--151},
)
@article(Slagle74,
 author       = {J. R. Slagle},
 year         = {1974},
 title        = {Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity},
 journal      = {J. ACM},
 volume       = {21},
 number       = {4},
 pages        = {622--642},
 doi          = {10.1145/321850.321859},
)