Ralph-Johan Back, Heikki Mannila, Kari-Jouko Räihä
Derivation of Efficient DAG Marking Algorithms
POPL, 1983.
@inproceedings{POPL-1983-BackMR,
author = "Ralph-Johan Back and Heikki Mannila and Kari-Jouko Räihä",
booktitle = "{Conference Record of the 10th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/567067.567071",
editor = "John R. Wright and Larry Landweber and Alan J. Demers and Tim Teitelbaum",
isbn = "0-89791-090-7",
pages = "20--27",
publisher = "{ACM Press}",
title = "{Derivation of Efficient DAG Marking Algorithms}",
year = 1983,
}