Constraint Logic Programming and Option Trading | IEEE Journals & Magazine | IEEE Xplore