%0 Conference Paper %1 journals/entcs/TveretinaW09 %A Tveretina, Olga %A Wesselink, Wieger %B MFCSIT %D 2006 %E Seda, Anthony Karel %E Boubekeur, Menouer %E Hurley, Ted %E an Airchinnigh, Mícheál Mac %E Schellekens, Michel P. %E Strong, Glenn %I Elsevier %K dblp %P 405-420 %T EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas. %U http://dblp.uni-trier.de/db/journals/entcs/entcs225.html#TveretinaW09 %V 225

@inproceedings{journals/entcs/TveretinaW09, added-at = {2023-02-24T00:00:00.000+0100}, author = {Tveretina, Olga and Wesselink, Wieger}, biburl = {https://www.bibsonomy.org/bibtex/247209adee0fbe1425149e857d50b96b1/dblp}, booktitle = {MFCSIT}, crossref = {conf/mfcsit/2006}, editor = {Seda, Anthony Karel and Boubekeur, Menouer and Hurley, Ted and an Airchinnigh, Mícheál Mac and Schellekens, Michel P. and Strong, Glenn}, ee = {https://doi.org/10.1016/j.entcs.2008.12.089}, interhash = {864e9430aff8c0a582de17cc7c6d999d}, intrahash = {47209adee0fbe1425149e857d50b96b1}, keywords = {dblp}, pages = {405-420}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T14:41:35.000+0200}, title = {EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs225.html#TveretinaW09}, volume = 225, year = 2006 }