Complexity of Two-Variable Dependence Logic and IF-Logic.

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema

Browse the full LICS paper archive.