Contextual ECATNets Semantics in Terms of Conditional Rewriting Logic | IEEE Conference Publication | IEEE Xplore