Progress towards recursive reduction algorithm