%0 Conference Paper %1 conf/ki/HolldoblerFL85 %A Hölldobler, Steffen %A Furbach, Ulrich %A Laußermair, Thomas %B GWAI %D 1985 %E Stoyan, Herbert %I Springer %K dblp %P 176-185 %T Extended Unification and its Implementation. %U http://dblp.uni-trier.de/db/conf/ki/gwai85.html#HolldoblerFL85 %V 118 %@ 3-540-16451-0

@inproceedings{conf/ki/HolldoblerFL85, added-at = {2017-05-25T00:00:00.000+0200}, author = {Hölldobler, Steffen and Furbach, Ulrich and Laußermair, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/210b24808ebd8116e66d14190ce67afeb/dblp}, booktitle = {GWAI}, crossref = {conf/ki/1985}, editor = {Stoyan, Herbert}, ee = {https://doi.org/10.1007/978-3-642-71145-9_14}, interhash = {9b1c119c1be2e91cdcd6aaa239df16a5}, intrahash = {10b24808ebd8116e66d14190ce67afeb}, isbn = {3-540-16451-0}, keywords = {dblp}, pages = {176-185}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2018-07-12T11:39:23.000+0200}, title = {Extended Unification and its Implementation.}, url = {http://dblp.uni-trier.de/db/conf/ki/gwai85.html#HolldoblerFL85}, volume = 118, year = 1985 }