Experience report on automated procedure construction for deductive synthesis | IEEE Conference Publication | IEEE Xplore