@STRING{hor07	= "Fourth International Workshop on Higher-Order Rewriting,
		  HOR'07, Paris, France, 25 June 2007" }

@InProceedings{	  abel:hor07,
  author	= {Andreas Abel},
  title		= {Syntactical Normalization for Intersection Types with Term
		  Rewriting Rules},
  booktitle	= hor07,
  year		= 2007
}