@inproceedings(Antoy92ALP, author = "S. Antoy", year = "1992", title = "Definitional Trees", editor = "H. Kirchner and G. Levi", booktitle = "Proceedings of the Third International Conference on Algebraic and Logic Programming", publisher = "Springer LNCS 632", address = "Volterra, Italy", pages = "143--157", url = "http://dx.doi.org/10.1007/bfb0013825", ) @inproceedings(Antoy92CTRS, author = "S Antoy", year = "1993", title = "Normalization by Leftmost Innermost Rewriting", booktitle = "Proceedings of the Third International Workshop on Conditional Term Rewriting Systems", publisher = "Springer-Verlag", address = "London, UK", pages = "448--457", url = "http://dx.doi.org/10.1007/3-540-56393-8_36", ) @article(Antoy05JSC, author = "S. Antoy", year = "2005", title = "Evaluation Strategies for Functional Logic Programming", journal = "Journal of Symbolic Computation", volume = "40", number = "1", pages = "875--903", url = "http://dx.doi.org/10.1016/j.jsc.2004.12.007", ) @article(Antoy10JSC, author = "S. Antoy", year = "2010", title = "Programming with Narrowing", journal = "Journal of Symbolic Computation", volume = "45", number = "5", pages = "501--522", url = "http://dx.doi.org/10.1016/j.jsc.2010.01.006", ) @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(AntoyBrownChiang06Termgraph, author = "S. Antoy and D. Brown and S. Chiang", year = "2006", title = "Lazy Context Cloning for Non-deterministic Graph Rewriting", booktitle = "Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph'06", address = "Vienna, Austria", pages = "61--70", url = "http://dx.doi.org/10.1016/j.entcs.2006.10.026", ) @inproceedings(AntoyHanus06ICLP, author = "S. Antoy and M. Hanus", year = "2006", title = "Overlapping Rules and Logic Variables in Functional Logic Programs", booktitle = "Proceedings of the Twenty Second International Conference on Logic Programming", publisher = "Springer LNCS 4079", address = "Seattle, WA", pages = "87--101", url = "http://dx.doi.org/10.1007/11799573\_9", ) @inproceedings(AntoyJost13PPDP, author = "S. Antoy and A. Jost", year = "2013", title = "Are needed redexes really needed?", booktitle = "Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming", series = "PPDP '13", publisher = "ACM", address = "New York, NY, USA", pages = "61--71", url = "http://doi.acm.org/10.1145/2505879.2505881", ) @book(Terese03, author = "M. Bezem and J. W. Klop and R. de Vrijer (eds.)", year = "2003", title = "Term Rewriting Systems", publisher = "Cambridge University Press", url = "http://dx.doi.org/10.1145/979743.979772", ) @inproceedings(BurnEtAl88LFP, author = "G. L. Burn and S. L. Peyton Jones and J. D. Robson", year = "1988", title = "The Spineless G-machine", booktitle = "Proceedings of the 1988 ACM Conference on LISP and Functional Programming", publisher = "ACM", pages = "244--258", url = "http://doi.acm.org/10.1145/62678.62717", ) @techreport(EchahedJanodet97IMAG, author = "R. Echahed and J. C. Janodet", year = "1997", title = "On constructor-based graph rewriting systems", type = "Technical Report", number = "985-I", institution = "IMAG", note = "Available at \url {ftp://ftp.imag.fr/pub/labo-LEIBNIZ/OLD-archives/PMP/c-graph-rewriting.ps.gz}", ) @inproceedings(FokkinkDePol97MFCS, author = "W. Fokkink and J. van de Pol", year = "1997", title = "Simulation as a correct transformation of rewrite systems", booktitle = "In Proceedings of 22nd Symposium on Mathematical Foundations of Computer Science, LNCS 1295", publisher = "Springer", pages = "249--258", url = "http://dx.doi.org/10.1.1.41.8118", ) @article(CRWL99JLP, author = "J. C. {Gonz{\'a}lez Moreno} and F. J. {L{\'o}pez Fraguas} and M. T. {Hortal{\'a} Gonz{\'a}lez} and M. {Rodr\'{\i }guez Artalejo}", year = "1999", title = "An Approach to Declarative Programming Based on a Rewriting Logic", journal = "The Journal of Logic Programming", volume = "40", pages = "47--87", url = "http://dx.doi.org/10.1016/S0743-1066(98)10029-8", ) @article(Hanus94JLP, author = "M. Hanus", year = "1994", title = "The Integration of Functions into Logic Programming: From Theory to Practice", journal = "Journal of Logic Programming", volume = "19\&20", pages = "583--628", url = "http://dx.doi.org/10.1.1.226.8638‎", ) @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", url = "http://dx.doi.org/10.1007/978-3-642-37651-1_6", ) @article(HanusLucasMiddeldorp98IPL, author = "M. Hanus and S. Lucas and A. Middeldorp", year = "1998", title = "Strongly sequential and inductively sequential term rewriting systems", journal = "Information Processing Letters", volume = "67", number = "1", pages = "1--8", url = "http://dx.doi.org/10.1016/S0020-0190(98)00016-7", ) @misc(Hanus12Curry, author = "M. Hanus (ed.)", year = "2012", title = "Curry: An Integrated Functional Logic Language (Vers.\ 0.8.3)", howpublished = "Available at \url {http://www.curry-language.org}", ) @incollection(HuetLevy91-both, author = "G. Huet and J.-J. L\'evy", year = "1991", title = "Computations in orthogonal term rewriting systems", editor = "J.-L. Lassez and G. Plotkin", booktitle = "Computational logic: essays in honour of Alan Robinson", publisher = "MIT Press", address = "Cambridge, MA", note = "Part I, pp.~395--414 and Part II, pp.~415--443", ) @techreport(KampermanWalters96CWI, author = "J. F. T. Kamperman and H. R. Walters", year = "1996", title = "Simulating {TRSs} by Minimal {TRSs} a Simple, Efficient, and Correct Compilation Technique", type = "Technical Report", number = "CS-R9605", institution = "CWI", ) @incollection(Kieburtz85, author = "R. Kieburtz", year = "1985", title = "The G-machine: A fast, graph-reduction evaluator", booktitle = "Functional Programming Languages and Computer Architecture", volume = "LNCS 201", publisher = "Springer", pages = "400--413", url = "http://dx.doi.org/10.1007/3-540-15975-4_50", ) @article(LopezFraguas14TPLP, author = "F. J. L{\'o}pez-Fraguas and E. Martin-Martin and J. Rodr\'{\i }guez-Hortal{\'a} and J. S{\'a}nchez-Hern{\'a}ndez", year = "2014", title = "Rewriting and narrowing for constructor systems with call-time choice semantics", journal = "{TPLP}", volume = "14", number = "2", pages = "165--213", url = "http://dx.doi.org/10.1017/S1471068412000373", ) @inproceedings(Middeldorp97POPL, author = "A. Middeldorp", year = "1997", title = "Call by Need Computations to Root-stable Form", booktitle = "Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", series = "POPL '97", publisher = "ACM", address = "New York, NY, USA", pages = "94--105", url = "http://dx.doi.org/10.1145/263699.263711", ) @inproceedings(ODonnell77, author = "M. J. O'Donnell", year = "1977", title = "Computing in Systems Described by Equations", publisher = "Springer LNCS 58", url = "http://dx.doi.org/10.1007/3-540-08531-9", ) @article(Wadler90TCS, author = "Philip Wadler", year = "1988", title = "Deforestation: Transforming Programs to Eliminate Trees", journal = "Theor. Comput. Sci.", volume = "73", number = "2", pages = "231--248", url = "http://dx.doi.org/10.1016/0304-3975(90)90147-A", )