Wan, H., Z. Xiao, Z. Yuan, H. Zhang, and Y. Zhang. “Computing General First-Order Parallel and Prioritized Circumscription”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 28, no. 1, June 2014, doi:10.1609/aaai.v28i1.8860.