@Article{	  CaminoDDMS2022LMCS,
  title		= "Regular matching problems for infinite trees",
  author	= "Carlos Camino and Volker Diekert and Besik Dundua and
		  Mircea Marin and G{\'e}raud S{\'e}nizergues",
  url		= "https://lmcs.episciences.org/9023",
  doi		= "10.46298/lmcs-18(1:25)2022",
  journal	= "Logical Methods in Computer Science",
  volume	= "Volume 18, Issue 1, 25:1–25:38",
  year		= "2022",
  keywords	= "Computer Science - Formal Languages and Automata Theory ;
		  68Q70, 68Q45 ; F.4"
}