AbstractWe show that equational independence in the sense of Srour equals local non-forking. We then examine so-called almost equational theories where equational independence is a symmetric relation.
Deciding Knowledge in Security Protocols under (Many More) Equational Theories
