## Stem kuratowski$ (all stems)

### 3 papers:

- RTA-2012-Al-HassaniMCS #problem #term rewriting
- A Term Rewriting System for Kuratowski’s Closure-Complement Problem (OAH, QaM, CSC, VS), pp. 38–52.
- DLT-J-2009-BrzozowskiGS11 #formal method #theorem
- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 301–321.
- DLT-2009-BrzozowskiGS #formal method #theorem
- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 125–144.