kappa-term relation algebra

References

• Algebras of Sign Manipulations and Their Application to Operational Semantics