F.: A first order logic for partial functions (1990)

by A Gavilanes-Franco, Lucio-Carrasco
Venue:Theoretical Computer Science