@InProceedings{DSS:04a,
  author =       {Andreas Dolzmann and Andreas Seidl and Thomas Sturm},
  title =        {Efficient Projection Orders for CAD},
  booktitle =    {Proceedings of the 2004 International Symposium on
                  Symbolic and Algebraic Computation (ISSAC~2004)},
  year =         2004,
  editor =       {Jaime Gutierrez},
  organization = {ACM},
  address =      {Santander, Spain},
  month =        jul,
}