%0 Journal Article %1 journals/eatcs/Lange87 %A Lange, Steffen %D 1987 %J Bulletin of the EATCS %K dblp %P 29-34 %T On the construction of unifying terms modulo a set of substitutions. %U http://dblp.uni-trier.de/db/journals/eatcs/eatcs31.html#Lange87 %V 31

@article{journals/eatcs/Lange87, added-at = {2003-07-15T00:00:00.000+0200}, author = {Lange, Steffen}, biburl = {https://www.bibsonomy.org/bibtex/22d81c93ed808a5c69198abe3611db45b/dblp}, date = {2003-07-15}, description = {dblp}, interhash = {3eddaf85a4a2468135f0a5bb16a51b68}, intrahash = {2d81c93ed808a5c69198abe3611db45b}, journal = {Bulletin of the EATCS}, keywords = {dblp}, pages = {29-34}, timestamp = {2003-07-15T00:00:00.000+0200}, title = {On the construction of unifying terms modulo a set of substitutions.}, url = {http://dblp.uni-trier.de/db/journals/eatcs/eatcs31.html#Lange87}, volume = 31, year = 1987 }