Partially ordered connectives and Sigma 1-1 on finite models - Sevenster, Merlijn; Tulenheimo, Tero (ILLC research report and technical notes series, 2006)