A first order logic for partial functions (1989)

by Francisca Lucio-Carrrasco, Antonio Gavilanes-Franco
Venue:In Proceedings STACS’89