Correction to: Theory of Computing Systems

https://doi.org/10.1007/s00224-020-09970-z

The original version of the article was inadvertently published with misinterpretations on author’s proof corrections on mathematical expressions The original article has been corrected.