Algorithm 1 on page 6 is incorrect since it does not consider all possible cancellations that could be performed by the cancellation rule.

I thank Mark-Jan Nederhof for spotting the mistake and providing a suitable counter-example.