Layman E. Allen Charles S. Saxon Some Problems in Designing Expert Systems to Aid Legal Reasoning. 94-103 1987 ICAIL http://doi.acm.org/10.1145/41735.41747 db/conf/icail/icail87.html#AllenS87