Adding constraints to curry via flat guards. - Julio Mariño; José María Rey Poza (WCFLP, 2005)

A Proposal for Disequality Constraints in Curry. - Emilio Jesús Gallego Arias; Julio Mariño-Carballo; José María Rey Poza (WFLP, 2006)

The Unfolding Semantics of Functional Programs. - José María Rey Poza; Julio Mariño-Carballo (CoRR, 2017)