Compiling a Functional Logic Language: The Fair Scheme. - Sergio Antoy; Andy Jost (LOPSTR, 2013)

Are needed redexes really needed? - Sergio Antoy; Andy Jost (PPDP, 2013)

Compiling Collapsing Rules in Certain Constructor Systems. - Sergio Antoy; Andy Jost (LOPSTR, 2015)

A New Functional-Logic Compiler for Curry: Sprite. - Sergio Antoy; Andy Jost (LOPSTR, 2016)

ICurry. - Sergio Antoy; Michael Hanus; Andy Jost; Steven Libby (DECLARE, 2019)