%0 Journal Article %1 journals/iam/RamirezCD90 %A Ramirez, Richard G. %A Choobineh, Joobin %A Dattero, Ronald %D 1990 %J Inf. Manag. %K dblp %N 2 %P 101-112 %T Using logic programming for formal specification and validation of data models. %U http://dblp.uni-trier.de/db/journals/iam/iam19.html#RamirezCD90 %V 19

@article{journals/iam/RamirezCD90, added-at = {2020-02-20T00:00:00.000+0100}, author = {Ramirez, Richard G. and Choobineh, Joobin and Dattero, Ronald}, biburl = {https://www.bibsonomy.org/bibtex/27039e5cbc7fd2448e1a5361fc147f99c/dblp}, ee = {https://doi.org/10.1016/0378-7206(90)90020-I}, interhash = {7726297d918d7165f04e90425fa2103d}, intrahash = {7039e5cbc7fd2448e1a5361fc147f99c}, journal = {Inf. Manag.}, keywords = {dblp}, number = 2, pages = {101-112}, timestamp = {2020-02-21T12:25:36.000+0100}, title = {Using logic programming for formal specification and validation of data models.}, url = {http://dblp.uni-trier.de/db/journals/iam/iam19.html#RamirezCD90}, volume = 19, year = 1990 }