Knowledge representation : an approach to artificial intelligence - Bench-Capon, T. J. M. (The A.P.I.C. series, 1990)