@article{pal:basi05,
  author	= {Koushik Pal and Robert K. Meyer},
  title		= {Basic Relevant Theories for Combinators at Levels I and II},
  journal	= {The Australasian Journal of Logic},
  year		= 2005,
  volume	= 3,
  pages		= {14-32},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2005/},
}