"Three-valued semantics for hybrid MKNF knowledge bases revisited."

Fangfang Liu, Jia-Huai You (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics