Deciding Regular Intersection Emptiness of Complete Problems for PSPACE and the Polynomial Hierarchy. - Demen Güler; Andreas Krebs; Klaus-Jörn Lange; Petra Wolf 002 (LATA, 2018)

Characterizing Formality. - Demen Güler (2019)