H. Lachnitt: "Formalizing Graph Trail Properties"; Supervisor: L. Kovacs; Institut for Logic and Computation, E192.04, 2020; final examination: 2020-06-04.
https://repositum.tuwien.at/handle/20.500.12708/1084