Reasoning about ER models in a deductive environment
From MaRDI portal
Publication:4332062
DOI10.1016/0169-023X(95)00047-VzbMath0875.68344MaRDI QIDQ4332062
Publication date: 27 February 1997
Published in: Data & Knowledge Engineering (Search for Journal in Brave)
Uses Software