Using logic programming for formal specification and validation of data models

Authors: Ramirez, Richard G.; Choobineh, Joobin; Dattero, Ronald

Journal: Information & Management (1990)

DOI: 10.1016/0378-7206(90)90020-i

View in Otero