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

@Article{	  abel:scp07,
  author	= {Andreas Abel},
  title		= {Type-Based Termination of Generic Programs},
  journal	= scp,
  year		= {2007},
  optkey	= {},
  optvolume	= {},
  optnumber	= {},
  optpages	= {},
  optmonth	= {},
  note		= {MPC'06 special issue. Submitted.},
  opturl	= {},
  optpostscript	= {},
  optpdf	= {},
  optdvi	= {},
  optabstract	= {}
}