Trevor J. M. Bench-Capon Giovanni Sartor Theory based explanation of case law domains. 2001 ICAIL db/conf/icail/icail2001.html#Bench-CaponS01 12-21