A Term Rewriting System for Kuratowski's Closure-Complement Problem. - Osama Al-Hassani; Quratul-ain Mahesar; Claudio Sacerdoti Coen; Volker Sorge (RTA, 2012)