Avijeet Ghosh, Sujata Ghosh, François Schwarzentruber: Reasoning About Knowledge on Regular Expressions Is 2EXPTIME-Complete. KR 2025