Trafford, J. An Interactive Approach to Proof-Theoretic Semantics. Proceedings of the AC 2015, 408-417.