Journal article
Theorem Proving Support for View Consistency Checking
Authors
Paige RF; Ostroff JS; Brooke PJ
Journal
L objet, Vol. 9, No. 4, pp. 115–134
Publisher
Lavoisier
Publication Date
December 30, 2003
DOI
10.3166/objet.9.4.115-134
ISSN
1262-1137