Algebraic Theory Exploration: A Comparison of Technologies | IEEE Conference Publication | IEEE Xplore