QuereV95'

@inproceedings{DBLP:conf/issac/QuereV95,
  author    = {M. P. Qu{\'e}r{\'e} and
               Gilles Villard},
  title     = {An Algorithm for the Reduction of Linear DAE},
  booktitle = {ISSAC},
  year      = {1995},
  pages     = {223-231},
  ee        = {http://doi.acm.org/10.1145/220346.220374},
  crossref  = {DBLP:conf/issac/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/issac/1995,
  editor    = {A. H. M. Levelt},
  title     = {Proceedings of the 1995 International Symposium on Symbolic
               and Algebraic Computation, ISSAC '95, Montreal, Canada,
               July 10-12, 1995},
  booktitle = {ISSAC},
  publisher = {ACM},
  year      = {1995},
  isbn      = {0-89791-699-9},
  ee        = {http://dl.acm.org/citation.cfm?id=220346},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}