%0 Conference Paper %1 conf/unif/Otop11 %A Otop, Jan %B UNIF %D 2011 %E Baader, Franz %E Morawska, Barbara %E Otop, Jan %K dblp %P 9-14 %T Unification of anti-terms. %U http://dblp.uni-trier.de/db/conf/unif/unif2011.html#Otop11

@inproceedings{conf/unif/Otop11, added-at = {2023-09-19T00:00:00.000+0200}, author = {Otop, Jan}, biburl = {https://www.bibsonomy.org/bibtex/22247b4914d4420447b532d88e4378607/dblp}, booktitle = {UNIF}, crossref = {conf/unif/2011}, editor = {Baader, Franz and Morawska, Barbara and Otop, Jan}, ee = {https://www.irif.fr/~treinen/unif/past/unif11/unif11-proceedings.pdf#page=15}, interhash = {931737690a0ddd31f130285e51ad7567}, intrahash = {2247b4914d4420447b532d88e4378607}, keywords = {dblp}, pages = {9-14}, timestamp = {2024-04-09T13:16:41.000+0200}, title = {Unification of anti-terms.}, url = {http://dblp.uni-trier.de/db/conf/unif/unif2011.html#Otop11}, year = 2011 }