Default Logic as a Query Language - Cadoli, M; Eiter, T; Gottlob, G (1994)