Anuj Dawar, Erich Grädel, Phokion G. Kolaitis, Thomas Schwentick. Finite and Algorithmic Model Theory (Dagstuhl Seminar 17361). Dagstuhl Reports, 7(9):1-25, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.