S. Zhang, “Learning to Check Contract Inconsistencies”, AAAI, vol. 35, no. 16, pp. 14446-14453, May 2021.