Pieter Hendrik Rodenburg Interpolation in conditional equational logic. 80-85 1991 15 Fundam. Inform. 1 db/journals/fuin/fuin15.html#Rodenburg91