@InProceedings{alti:cats07,
  author =	 {Peter Morris and Thorsten Altenkirch and Neil Ghani},
  title =	 {Constructing Strictly Positive Families},
  year = 	 {2007},
  booktitle =	 {The Australasian Theory Symposium (CATS2007)},
  month =	 {January}
}