The tree-pair method in comparison with some symbolic analysis techniques | IEEE Conference Publication | IEEE Xplore