Enumeration Complexity of Logical Query Problems with Second-order Variables.

Arnaud Durand, Yann Strozecki

Browse the full CSL paper archive.