- Editor's Note. Theory Comput. Syst. 60(3): 377 (2017)
- Takuya Yoshino, Kouichi Hirata
:
Tai Mapping Hierarchy for Rooted Labeled Trees Through Common Subforest. Theory Comput. Syst. 60(4): 759-783 (2017) - Georg Zetzsche
, Dietrich Kuske, Markus Lohrey:
On Boolean Closed Full Trios and Rational Kripke Frames. Theory Comput. Syst. 60(3): 438-472 (2017)