Exploratory Design of Derivation Business Rules Using Query Rewriting. - Roman Krenický; David Willmor; Suzanne M. Embury (SEKE, 2007)

A 2-categorical approach to proof-comparison. - Roman Krenický (2014)