The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages

BACCI, Giovanni

COMINI, Marco

VILLANUEVA, Alicia

M. A. Feliù