@article{kole:chur08,
  author	= {George Koletsos and George Stavrinos},
  title		= {Church-Rosser property and intersection types},
  journal	= {The Australasian Journal of Logic},
  year		= 2008,
  volume	= 6,
  pages		= {37--54},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2008/},
}