Treating partiality in a logic of total functions (1997)

by Olaf Müller , Konrad Slind
Venue:THE COMPUTER JOURNAL
Citations:9 - 0 self