A First Order Logic for Partial Functions (Extended Abstract). - Francisca Lucio-Carrasco; Antonio Gavilanes-Franco (STACS, 1989)

A First-Order Logic for Partial Recursive Functions. - Antonio Gavilanes-Franco (MFCS, 1990)

A First Order Logic for Partial Functions. - Antonio Gavilanes-Franco; Francisca Lucio-Carrasco (Theor. Comput. Sci., 1990)

Reasoning with Higher Order Partial Functions. - Antonio Gavilanes-Franco; Francisca Lucio-Carrasco; Mario Rodríguez-Artalejo (CSL, 1992)

Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types. - Jesús Manuel Almendros-Jiménez; Antonio Gavilanes-Franco; Ana Gil-Luezas (ALP, 1996)