Extensions to the logical inference model - Parle, Andrew Jeremy (Technical report (CSIRO. Division of Information Technology), 1989)