Default Logic as a Query Language (KR, 1994)

(untitled) - Cadoli, M; Eiter, T; Gottlob, G