org Siekmann. Reasoning with Assertions and Examples (1993)

by Manfred Kerber, Erica Melis, J