Ashwin Dhinesh Kumar IBM Research, Yorktown Heights, NY 10598 USA (ashwin.dhinesh.kumar@ibm.com). Mr. Kumar is a Software Developer working on the Verifier.
V. S. K. Balagurusamy,C. Cabral,S. Coomaraswamy,E. Delamarche,D. N. Dillenberger,G. Dittmann,D. Friedman,O. Gökçe,N. Hinds,J. Jelitto,A. Kind,A. D. Kumar,
IBM Journal of Research and Development (2019): 1-4