Stefan Brass Jürgen Dix Computing Disjunctive Stable Semantics Based on Clark's Completed Database. 30-34 1994 Grundlagen von Datenbanken db/conf/gvd/gvd94.html#BrassD94