Semantic study of the use of parameterized S implications and equivalences in comparison | IEEE Conference Publication | IEEE Xplore