Gabriele Kern-Isberner, Christoph Beierle. A System Z-like Approach for First-Order Default Reasoning. In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Volume 9060 of Lecture Notes in Computer Science, pages 81-95, Springer, 2014. [doi]
Abstract is missing.