@inproceedings{DBLP:conf/icail/Hage01, author = {Jaap Hage}, title = {Formalizing legal coherence}, booktitle = {ICAIL}, year = {2001}, pages = {22-31}, bibsource = {DBLP, http://dblp.uni-trier.de} }