Chiron: A multi-paradigm logic (2007)

by W M Farmer
Venue:University of Bialystok