Shawn Kerrigan Kincho H. Law Logic-Based Regulation Compliance-Assistance. 126-135 2003 ICAIL db/conf/icail/icail2003.html#KerriganL03