Difficult Configurations - On the Complexity of LTrL.

Igor Walukiewicz

Browse the full ICALP paper archive.