Leslie G. Valiant
The Equivalence Problem for DOL Systems and its Decidability for Binary Alphabets
ICALP, 1976.
@inproceedings{ICALP-1976-Valiant,
author = "Leslie G. Valiant",
booktitle = "{Proceedings of the Third International Colloquium on Automata, Languages and Programming}",
isbn = "0-85224-308-1",
pages = "31--37",
title = "{The Equivalence Problem for DOL Systems and its Decidability for Binary Alphabets}",
year = 1976,
}