Media type: E-Article Title: A Restricted Second Order Logic for Finite Structures Contributor: Dawar, Anuj imprint: Elsevier BV, 1998 Published in: Information and Computation Language: English DOI: 10.1006/inco.1998.2703 ISSN: 0890-5401 Origination: Footnote: Access State: Open Access