Login / Signup

Inference control of open relational queries under closed-world semantics based on theorem proving.

Joachim BiskupMartin BringMichael Bulinski
Published in: Inf. Syst. (2017)
Keyphrases