@article{bund:inte03,
  author	= {Martin Bunder},
  title		= {Intersection Type Systems and Logics Related to the Meyer--Routley System $B^+$},
  journal	= {The Australasian Journal of Logic},
  year		= 2003,
  volume	= 1,
  pages		= {43--55},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2003/},
}