%0 Conference Paper %1 conf/fossacs/DantsinV99 %A Dantsin, Evgeny %A Voronkov, Andrei %B FoSSaCS %D 1999 %E Thomas, Wolfgang %I Springer %K dblp %P 180-196 %T A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees. %U http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#DantsinV99 %V 1578 %@ 3-540-65719-3

@inproceedings{conf/fossacs/DantsinV99, added-at = {2023-09-30T00:00:00.000+0200}, author = {Dantsin, Evgeny and Voronkov, Andrei}, biburl = {https://www.bibsonomy.org/bibtex/211711b47153d1ee7e4b7e90c518b5f2b/dblp}, booktitle = {FoSSaCS}, crossref = {conf/fossacs/1999}, editor = {Thomas, Wolfgang}, ee = {https://doi.org/10.1007/3-540-49019-1_13}, interhash = {0cd4c28766687c836abd8a0be2c4d95c}, intrahash = {11711b47153d1ee7e4b7e90c518b5f2b}, isbn = {3-540-65719-3}, keywords = {dblp}, pages = {180-196}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:26:12.000+0200}, title = {A Nondeterministic Polynomial-Time Unification Algorithm for Bags, Sets and Trees.}, url = {http://dblp.uni-trier.de/db/conf/fossacs/fossacs1999.html#DantsinV99}, volume = 1578, year = 1999 }