H. Wan, Z. Xiao, Z. Yuan, H. Zhang, and Y. Zhang, “Computing General First-Order Parallel and Prioritized Circumscription”, AAAI, vol. 28, no. 1, Jun. 2014.