@inproceedings{ijcar-2016,
author = {Rademaker, Alexandre and Haeusler, Edward Hermann},
title = {InFeRe Law: Investigating the feasibility of reasoning on legal ontologies},
booktitle = {Compositional Meaning in Logic [GeTFun 4.0] part of
8th International Joint Conference on Automated
Reasoning},
year = {2016},
month = jul,
address = {Coimbra}
}