An excursion to the border of decidability: between two- and three-variable logic.

Oskar Fiuk, Emanuel Kieronski

Browse the full LPAR paper archive.