Laubner, B., et al.. The Structure of Graphs and New Logics for the Characterization of Polynomial Time. Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 18 June 2017, doi:10.18452/16335.