Sound and complete rules for data reific
β
Jian LΓΌ
π
Article
π
1997
π
SP Science China Press
π
English
β 404 KB