Giovanni Bacci, Marco Comini, Marco Antonio Feliú, Alicia Villanueva. Automatic synthesis of specifications for first order curry programs. In Danny De Schreye, Gerda Janssens, Andy King, editors, Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012. pages 25-34, ACM, 2012. [doi]
Abstract is missing.