@inproceedings{alti:regular,
  author = "Peter Morris and Thorsten Altenkirch and Conor McBride",
  title = "Exploring the Regular Tree Types",
  booktitle = "Types for Proofs and Programs ({TYPES} 2004)",
  editor = "Jean-Christophe Filliatre, Christine Paulin-Mohring and Benjamin Werner",
  series = "Lecture Notes in Computer Science",
  year = 2006
}