Mathematical interpretation of inference rules - Parle, Andrew Jeremy (Technical report (CSIRO. Division of Information Technology) ;, 1989)