Daniel Kr\ál

Recent Publications

FO Model Checking of Interval Graphs

2016