@InProceedings{	  Petersen02afl,
  author	= "Petersen, Holger",
  title		= "Survey of Decision Problems for Regular Expressions",
  booktitle	= "10th International Conference on Automata and Formal
		  Languages (AFL'02), Debrecen, 2002. Proceedings",
  year		= "2002"
}