Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms

Hans Leo Bodlaender, Michael R. Fellows, Dimitrios M. Thilikos. Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms. In Branislav Rovan, Peter Vojtás, editors, Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings. Volume 2747 of Lecture Notes in Computer Science, pages 239-248, Springer, 2003. [doi]

@inproceedings{BodlaenderFT03,
  title = {Starting with Nondeterminism: The Systematic Derivation of Linear-Time Graph Layout Algorithms},
  author = {Hans Leo Bodlaender and Michael R. Fellows and Dimitrios M. Thilikos},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2747&spage=239},
  tags = {layout, graph-rewriting, rewriting, systematic-approach},
  researchr = {https://researchr.org/publication/BodlaenderFT03},
  cites = {0},
  citedby = {0},
  pages = {239-248},
  booktitle = {Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings},
  editor = {Branislav Rovan and Peter Vojtás},
  volume = {2747},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40671-9},
}