Logic Programming for Large Scale Applications in Law: A Formalisation of Supplementary Benefit Legislation. - Trevor J. M. Bench-Capon; G. O. Robinson; Tom Routen; Marek J. Sergot (ICAIL, 1987)