@article{galo:redu07,
  author	= {Tigran Galoyan},
  title		= {Reduction in first-order logic compared with reduction in implicational logic},
  journal	= {The Australasian Journal of Logic},
  year		= 2007,
  volume	= 5,
  pages		= {58-65},
  URL		= {http://www.philosophy.unimelb.edu.au/ajl/2007/},
}