Knowledge-based systems and legal applications by T. J. M. Bench-Capon