@InProceedings{	  mantel.sudbrock:types,
  author	= {Heiko Mantel and Henning Sudbrock},
  title		= {Types vs. PDGs in Information Flow Analysis},
  booktitle	= {Pre-Proceedings of the 22nd International Symposium on
		  Logic Based Program Synthesis and Transformation (LOPSTR
		  2012)},
  address	= {Leuven, Belgium},
  year		= 2012
}