Towards Legal Contract Formalization with Controlled Natural Language Templates | IEEE Conference Publication | IEEE Xplore