Displaying similar documents to “A characterization of Büchi's integer sequences of length 3”