Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems | IEEE Conference Publication | IEEE Xplore