Solving inequations in terms algebras | IEEE Conference Publication | IEEE Xplore