A System Z-like Approach for First-Order Default Reasoning.
G. Kern-Isberner, and C. Beierle. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, volume 9060 of Lecture Notes in Computer Science, page 81-95. Springer, (2015)