Jürgen Dix Martin Müller The Stable Semantics and its Variants: A Comparison of Recent Approaches. 82-93 1994 conf/ki/1994 KI db/conf/ki/ki94.html#DixM94