Flavio Antonio Ferrarotti, Jose Maria Turull Torres. Arity and alternation: a proper hierarchy in higher order logics. Annals of Mathematics and Artificial Intelligence, 50(1-2):111-141, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.