K.  Upadhyay, Dantu, R., Zaccagni, Z., and Badruddoja, S., ?Is your legal contract ambiguous? Convert to a smart legal contract?, in 2020 IEEE International Conference on Blockchain (Blockchain), 2020.