Displaying similar documents to “Countable inductive definitions in AST”