%0 Conference Paper %1 conf/icci/Henglein90 %A Henglein, Fritz %B ICCI %D 1990 %E Akl, Selim G. %E Fiala, Frantisek %E Koczkodaj, Waldemar W. %I Springer %K dblp %P 82-91 %T Fast Left-Linear Semi-Unification. %U http://dblp.uni-trier.de/db/conf/icci/icci90.html#Henglein90 %V 468 %@ 3-540-53504-7

@inproceedings{conf/icci/Henglein90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Henglein, Fritz}, biburl = {https://www.bibsonomy.org/bibtex/293f981a778a8bd6ba8306d2abdc9b145/dblp}, booktitle = {ICCI}, crossref = {conf/icci/1990}, editor = {Akl, Selim G. and Fiala, Frantisek and Koczkodaj, Waldemar W.}, ee = {https://doi.org/10.1007/3-540-53504-7_64}, interhash = {66a4f42e029ffff4f4c3a18e81de4d8f}, intrahash = {93f981a778a8bd6ba8306d2abdc9b145}, isbn = {3-540-53504-7}, keywords = {dblp}, pages = {82-91}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:22:48.000+0200}, title = {Fast Left-Linear Semi-Unification.}, url = {http://dblp.uni-trier.de/db/conf/icci/icci90.html#Henglein90}, volume = 468, year = 1990 }