%0 Conference Paper %1 conf/csl/YernauxV22 %A Yernaux, Gonzague %A Vanhoof, Wim %B CSL %D 2022 %E Manea, Florin %E Simpson, Alex %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 37:1-37:17 %T Anti-Unification of Unordered Goals. %U http://dblp.uni-trier.de/db/conf/csl/csl2022.html#YernauxV22 %V 216 %@ 978-3-95977-218-1

@inproceedings{conf/csl/YernauxV22, added-at = {2023-03-21T00:00:00.000+0100}, author = {Yernaux, Gonzague and Vanhoof, Wim}, biburl = {https://www.bibsonomy.org/bibtex/2195f382d0a64b2dfedbec983a6cecd64/dblp}, booktitle = {CSL}, crossref = {conf/csl/2022}, editor = {Manea, Florin and Simpson, Alex}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2022.37}, interhash = {95f448a6ae95d6e44e4da40c88d44548}, intrahash = {195f382d0a64b2dfedbec983a6cecd64}, isbn = {978-3-95977-218-1}, keywords = {dblp}, pages = {37:1-37:17}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:49:45.000+0200}, title = {Anti-Unification of Unordered Goals.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2022.html#YernauxV22}, volume = 216, year = 2022 }