A superposition decision procedure for the guarded fragment with equality | IEEE Conference Publication | IEEE Xplore