Displaying similar documents to “A new proof of Reiterman's theorem”