An integration of deductive retrieval into deductive synthesis | IEEE Conference Publication | IEEE Xplore