Relation-algebraic Derivation of Spanning Tree Algorithms (1998)

by R Berghammer, B von Karger, A Wolf
Venue:Proc. 4th Conf. Mathematics of Program Construction, LNCS 1422