Aceto, Luca, et al. “A Cancellation Theorem for BCCSP”. BRICS Report Series, vol. 14, no. 17, Dec. 2007, doi:10.7146/brics.v14i17.22180.