%0 Conference Paper %1 conf/ecai/Siekmann86 %A Siekmann, Jörg H. %B ECAI %D 1986 %E du Boulay, Benedict %E Hogg, David C. %E Steels, Luc %I North-Holland %K dblp %P 365-400 %T Unification Theory. %U http://dblp.uni-trier.de/db/conf/ecai/ecai86.html#Siekmann86 %@ 0-444-70279-2

@inproceedings{conf/ecai/Siekmann86, added-at = {2019-07-30T00:00:00.000+0200}, author = {Siekmann, Jörg H.}, biburl = {https://www.bibsonomy.org/bibtex/2380ceb6800a2f415fafcc1f04dad9d83/dblp}, booktitle = {ECAI}, crossref = {conf/ecai/1986}, editor = {du Boulay, Benedict and Hogg, David C. and Steels, Luc}, interhash = {463c9f0209471a4ae4b8a0184b634208}, intrahash = {380ceb6800a2f415fafcc1f04dad9d83}, isbn = {0-444-70279-2}, keywords = {dblp}, pages = {365-400}, publisher = {North-Holland}, timestamp = {2019-07-31T11:37:58.000+0200}, title = {Unification Theory.}, url = {http://dblp.uni-trier.de/db/conf/ecai/ecai86.html#Siekmann86}, year = 1986 }