Flavio Antonio Ferrarotti Jose Maria Turull Torres Arity and Alternation: A Proper Hierarchy in Higher Order Logics. 92-115 2006 conf/foiks/2006 FoIKS http://dx.doi.org/10.1007/11663881_7 db/conf/foiks/foiks2006.html#FerrarottiT06