@Article{	  BertolR95,
  author	= "Michael Bertol and Klaus Reinhardt",
  title		= "The Tautologies over a Finite Set are Context-Free",
  journal	= "Bulletin of the European Association for Theoretical
		  Computer Science",
  volume	= "57",
  year		= "1995"
}