@inproceedings{ICALP-1972-Butzbach,
	author        = "Philippe Butzbach",
	booktitle     = "{Proceedings of the Colloquium on Automata, Languages and Programming}",
	isbn          = "0-7204-2074-1",
	pages         = "3--12",
	title         = "{Une famille de congruences de Thue pour lesquelles le problème de l’équivalence est décidable. Application á l’équivalence des grammaires séparées}",
	year          = 1972,
}