Algebra and Logic

Article
Kahle,R
SYNTHESE
Conference on Proof-Theoretic Semantics

2006
148
3
659-673
10.1007/s11229-004-6293-4