Fragments of Existential Second-Order Logic without 0-1 Laws

Jean-Marie Le Bars. Fragments of Existential Second-Order Logic without 0-1 Laws. In LICS. pages 525-536, 1998.

Abstract

Abstract is missing.