A Second-Order Logic in Which Variables Range over Relations with Complete First-Order Types. - Alejandro L. Grosso; Jose Maria Turull Torres (SCCC, 2010)

Semantic Restrictions over Second-Order Logic. - Flavio Antonio Ferrarotti; Alejandro L. Grosso; Jose Maria Turull Torres (SDKB, 2011)

SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy. - Alejandro L. Grosso; José M. Turull Torres (Conceptual Modelling and Its Theoretical Foundations, 2012)