First-order logic reducible programs | IEEE Conference Publication | IEEE Xplore