1. Zheng, H., Grossi, D., & Verheij, B. (2021). Hardness of Case-Based Decisions: a Formal Theory. The 18th International Conference on Artificial Intelligence and Law (ICAIL 2021). Proceedings of the Conference. New York (New York): ACM. https://doi.org/10.1145/3462757.3466071.
  2. Zheng H., Grossi D., Verheij B. (2021) Logical Comparison of Cases. In: Rodríguez-Doncel V., Palmirani M., Araszkiewicz M., Casanovas P., Pagallo U., Sartor G. (eds) AI Approaches to the Complexity of Legal Systems XI-XII. AICOL 2020, AICOL 2018, XAILA 2020. Lecture Notes in Computer Science, vol 13048. Springer, Cham. https://doi.org/10.1007/978-3-030-89811-3_9
  3. Zheng, H. (2021). Modeling Case-Based Reasoning with the Precedent Model Formalism: An Overview. Online Handbook of Argumentation for AI: Volume 2 (eds. Castagna, F., Mosca, F., Mumford, J., Sarkadi, S., Xydis A.), 72-76. arXiv. arXiv:2106.10832
  4. Zheng, H., Grossi, D., & Verheij, B. (2021). A formal approach to case comparison in case-based reasoning: research abstract. The First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021).
  5. Zheng, H., & Verheij, B. (2021). Rules, cases and arguments in artificial intelligence and law. Research Handbook on Big Data Law (ed. Vogl, R.), 373-387. Cheltenham: Edgar Elgar Publishing. https://www.e-elgar.com/shop/gbp/research-handbook-on-big-data-law-9781788972819.html.
  6. Zheng, H., Grossi, D., & Verheij, B. (2020). Precedent Comparison in the Precedent Model Formalism: Theory and Application to Legal Cases. Proceedings of the EXplainable & Responsible AI in Law (XAILA) Workshop at JURIX 2020.
  7. Zheng, H., Grossi, D., & Verheij, B. (2020). Precedent Comparison in the Precedent Model Formalism: A Technical Note. Legal Knowledge and Information Systems. JURIX 2020: The Thirty-third Annual Conference (eds. Villata, S., Harašta, J., & Kšemen, P.), 259-262. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA200878.
  8. Zheng, H., Grossi, D., & Verheij, B. (2020). Case-Based Reasoning with Precedent Models: Preliminary Report. Computational Models of Argument. Proceedings of COMMA 2020 (eds. Prakken, H., Bistarelli, S., Santini, F., & Taticchi, C.), 443-450. Amsterdam: IOS Press. https://doi.org/10.3233/FAIA200528
  9. Zheng, H., Xiong, M., & Verheij, B. (2018). Checking the Validity of Rule-Based Arguments Grounded in Cases: A Computational Approach. Legal Knowledge and Information Systems. JURIX 2018: The Thirty-first Annual Conference (ed. Palmirani, M.), 220-224. Amsterdam: IOS Press. http://dx.doi.org/10.3233/978-1-61499-935-5-220