@article{Sturm99,
  title = {Reasoning over Networks by Symbolic Methods},
  author = {Thomas Sturm},
  year = {1999},
  url = {http://link.springer.de/link/service/journals/00200/bibs/9010001/90100079.htm},
  researchr = {https://researchr.org/publication/Sturm99},
  cites = {0},
  citedby = {0},
  journal = {Appl. Algebra Eng. Commun. Comput.},
  volume = {10},
  number = {1},
  pages = {79-96},
}