@inproceedings{DLT-1993-JurvanenPT,
	author        = "Eija Jurvanen and Andreas Potthoff and Wolfgang Thomas",
	booktitle     = "{Proceedings of the First International Conference on Developments in Language Theory}",
	isbn          = "981-02-1645-9",
	pages         = "3--17",
	publisher     = "{World Scientific}",
	title         = "{Tree Languages Recognizable by Regular Frontier Check}",
	year          = 1993,
}