Team Logic and Second-Order Logic. - Juha Kontinen; Ville Nurmi (Fundam. Informaticae, 2011)