This panel brought together experts representing external and internal views of the issue from the academic, vendor and user community.
The talk set out an algebraic treatment based on the model theoretic semantics that we have developed in previous papers. The trick is to read the model in the right way to give one an algebra.