@STRING{scp	= "Science of Computer Programming" }

@Article{	  abel:scp09,
  author	= {Andreas Abel},
  title		= {Type-Based Termination of Generic Programs},
  journal	= scp,
  year		= 2009,
  volume	= 74,
  number	= 8,
  pages		= {550-567},
  note		= {MPC'06 special issue.}
}