Mustafa Jarrar Towards Automated Reasoning on ORM Schemes. 181-197 2007 conf/er/2007 ER http://dx.doi.org/10.1007/978-3-540-75563-0_14 db/conf/er/er2007.html#Jarrar07