Add Craig interpolation reference