Georges Span LITES, an Intelligent Tutoring System for Legal Problem Solving in the Domain of Dutch Civil Law. 76-81 1993 ICAIL http://doi.acm.org/10.1145/158976.158986 db/conf/icail/icail93.html#Span93