Relational Characterisations of Paths - Berghammer, Rudolf; Furusawa, Hitoshi; Guttmann, Walter; Höfner, Peter (2018)
Keywords: Computer Science - Logic in Computer Science