Relational characterisations of paths

Rudolf Berghammer, Hitoshi Furusawa, Walter Guttmann, Peter Höfner. Relational characterisations of paths. J. Log. Algebr. Meth. Program., 117:100590, 2020. [doi]

Abstract

Abstract is missing.