PP-2006-53: Merlijn Sevenster, Tero Tulenheimo Finite model theory for partially ordered connectives 1.Full Text, 2.Abstract. < Back
