%0 Conference Paper %1 conf/slp/Holldobler87 %A Hölldobler, Steffen %B SLP %D 1987 %I IEEE-CS %K dblp %P 335-346 %T Equational Logic Programming. %U http://dblp.uni-trier.de/db/conf/slp/slp87.html#Holldobler87 %@ 0-8186-0799-8

@inproceedings{conf/slp/Holldobler87, added-at = {2013-12-04T00:00:00.000+0100}, author = {Hölldobler, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/21d3d9767893d85d0dce1cc75225284b8/dblp}, booktitle = {SLP}, crossref = {conf/slp/1987}, interhash = {a7ab12b87ad5e0698916f0ae19f68115}, intrahash = {1d3d9767893d85d0dce1cc75225284b8}, isbn = {0-8186-0799-8}, keywords = {dblp}, pages = {335-346}, publisher = {IEEE-CS}, timestamp = {2013-12-05T11:34:43.000+0100}, title = {Equational Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/slp/slp87.html#Holldobler87}, year = 1987 }