Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Geuvers, Herman
and
Krebbers, Robbert
2011.
The correctness of Newman’s typability algorithm and some of its extensions.
Theoretical Computer Science,
Vol. 412,
Issue. 28,
p.
3242.