D.

Published in: J. Comput. Syst. Sci. (2018)