Displaying similar documents to “Zerotesting bounded one-way multicounter machines”