Gustaf Neumann: Reasoning About ER Models in a Deductive Environment. Data Knowl. Eng. 19(3): 241-266 (1996)