Reasoning about partial functions with the aid of a computer (1995)

by W M Farmer
Venue:Erkenntnis