Wan, H.; Xiao, Z.; Yuan, Z.; Zhang, H.; Zhang, Y. Computing General First-Order Parallel and Prioritized Circumscription. AAAI 2014, 28.