Toward Automated Definition Acquisition From Operations Law | IEEE Journals & Magazine | IEEE Xplore