Deriving relational programs for computing kernels by reconstructing a proof of Richardson's theorem
scientific article; zbMATH DE number 1508134