Panagiotis Manolios Refinement and Theorem Proving. 176-210 2006 conf/sfm/2006 SFM http://dx.doi.org/10.1007/11757283_7 db/conf/sfm/sfm2006.html#Manolios06