PP-2006-31: Merlijn Sevenster, Tero Tulenheimo Partially ordered connectives and Sigma-1-1 on finite models 1.Full Text, 2.Abstract. < Back
