Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete.

Avijeet Ghosh, Sujata Ghosh, Franois Schwarzentruber

Browse the full KR paper archive.