Partially ordered connectives and Sigma 1-1 on finite models - Sevenster, Merlijn; Tulenheimo, Tero (Inst. for Logic, Language and Computation, 2006)
Keywords: Endliche Modelltheorie