Wan, H., Xiao, Z., Yuan, Z., Zhang, H. and Zhang, Y. 2014. Computing General First-Order Parallel and Prioritized Circumscription. Proceedings of the AAAI Conference on Artificial Intelligence. 28, 1 (Jun. 2014). DOI:https://doi.org/10.1609/aaai.v28i1.8860.