%0 Conference Paper %1 conf/lopstr/YernauxV23 %A Yernaux, Gonzague %A Vanhoof, Wim %B LOPSTR %D 2023 %E Glück, Robert %E Kafle, Bishoksan %I Springer %K dblp %P 131-149 %T Predicate Anti-unification in (Constraint) Logic Programming. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2023.html#YernauxV23 %V 14330 %@ 978-3-031-45784-5

@inproceedings{conf/lopstr/YernauxV23, added-at = {2023-10-27T00:00:00.000+0200}, author = {Yernaux, Gonzague and Vanhoof, Wim}, biburl = {https://www.bibsonomy.org/bibtex/25140db85074078069e7bf305b12ba5c7/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2023}, editor = {Glück, Robert and Kafle, Bishoksan}, ee = {https://doi.org/10.1007/978-3-031-45784-5_9}, interhash = {245cc5291c045c06d24ec2d99e37f6bf}, intrahash = {5140db85074078069e7bf305b12ba5c7}, isbn = {978-3-031-45784-5}, keywords = {dblp}, pages = {131-149}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:36:54.000+0200}, title = {Predicate Anti-unification in (Constraint) Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2023.html#YernauxV23}, volume = 14330, year = 2023 }