Gustaf Neumann Reasoning About ER Models in a Deductive Environment. 241-266 1996 19 Data Knowl. Eng. 3 db/journals/dke/dke19.html#Neumann96 http://dx.doi.org/10.1016/0169-023X(95)00047-V