@inproceedings{conf/issac/GiesbrechtLS98,
  added-at = {2012-05-16T00:00:00.000+0200},
  author = {Giesbrecht, Mark and Lobo, A. and Saunders, B. David},
  biburl = {http://www.bibsonomy.org/bibtex/2ced79972382aefcce85a3aee317d354a/dblp},
  booktitle = {ISSAC},
  crossref = {conf/issac/1998},
  editor = {Weispfenning, Volker and Trager, Barry M.},
  ee = {http://doi.acm.org/10.1145/281508.281591},
  interhash = {491cd3ae990c1e74f225be65072d4ca0},
  intrahash = {ced79972382aefcce85a3aee317d354a},
  isbn = {1-58113-002-3},
  keywords = {dblp},
  pages = {113-119},
  publisher = {ACM},
  timestamp = {2012-05-16T00:00:00.000+0200},
  title = {Certifying Inconsistency of Sparse Linear Systems.},
  url = {http://dblp.uni-trier.de/db/conf/issac/issac98.html#GiesbrechtLS98},
  year = 1998
}