DS-1995-11: Viol, W.P.M. Meyer (1995) Instantial Logic. An Investigation into Reasoning with Instances. Doctoral thesis, University of Amsterdam.