Improving run times by pruned application of synthesis transformsRenato F. HentschkeJagannathan Narasimhanet al.2005SBCCI 2005