Instantial Logic: An investigation into reasoning with instances (1995)

by W Meyer-Viol