PP-2004-32: Balder ten Cate, Massimo Franceschet Guarded fragments with constants 1.Full Text, 2.Abstract. < Back
