Jaap Hage Formalizing legal coherence. 2001 ICAIL db/conf/icail/icail2001.html#Hage01 22-31