Unifying partial descriptions of sets (1990)

by Carl Jesse Pollard, M A Moshier
Venue:University of British Columbia