Using specialisation to reconstruct two mode inference systems - Mellish, Christopher S. (1991)