Flavio Antonio Ferrarotti, Alejandro L. Grosso, Jose Maria Turull Torres. Semantic Restrictions over Second-Order Logic. In Klaus-Dieter Schewe, Bernhard Thalheim, editors, Semantics in Data and Knowledge Bases, 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers. Volume 7693 of Lecture Notes in Computer Science, pages 174-197, Springer, 2011. [doi]
Abstract is missing.