%0 Conference Paper %1 conf/iwwert/BaaderS91 %A Baader, Franz %A Schulz, Klaus U. %B IWWERT %D 1991 %E Abdulrab, Habib %E Pécuchet, Jean-Pierre %I Springer %K dblp %P 23-42 %T General A- and AX-Unification via Optimized. %U http://dblp.uni-trier.de/db/conf/iwwert/iwwert1991.html#BaaderS91 %V 677 %@ 3-540-56730-5

@inproceedings{conf/iwwert/BaaderS91, added-at = {2017-05-17T00:00:00.000+0200}, author = {Baader, Franz and Schulz, Klaus U.}, biburl = {https://www.bibsonomy.org/bibtex/20820cd5c5f39626e8b72683fdaa16a8e/dblp}, booktitle = {IWWERT}, crossref = {conf/iwwert/1991}, editor = {Abdulrab, Habib and Pécuchet, Jean-Pierre}, ee = {https://doi.org/10.1007/3-540-56730-5_29}, interhash = {210579528194cb194291c1d2fe3b8837}, intrahash = {0820cd5c5f39626e8b72683fdaa16a8e}, isbn = {3-540-56730-5}, keywords = {dblp}, pages = {23-42}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:02:34.000+0200}, title = {General A- and AX-Unification via Optimized.}, url = {http://dblp.uni-trier.de/db/conf/iwwert/iwwert1991.html#BaaderS91}, volume = 677, year = 1991 }