%0 Conference Paper %1 conf/rta/BaaderS95 %A Baader, Franz %A Schulz, Klaus U. %B RTA %D 1995 %E Hsiang, Jieh %I Springer %K dblp %P 352-366 %T Combination of Constraint Solving Techniques: An Algebraic POint of View. %U http://dblp.uni-trier.de/db/conf/rta/rta95.html#BaaderS95 %V 914 %@ 3-540-59200-8

@inproceedings{conf/rta/BaaderS95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Baader, Franz and Schulz, Klaus U.}, biburl = {https://www.bibsonomy.org/bibtex/247f97b40bb61309a329f3b38d19b1d3c/dblp}, booktitle = {RTA}, crossref = {conf/rta/1995}, editor = {Hsiang, Jieh}, ee = {https://doi.org/10.1007/3-540-59200-8_69}, interhash = {3a74d8f4a0747421686e1a5b1892edb6}, intrahash = {47f97b40bb61309a329f3b38d19b1d3c}, isbn = {3-540-59200-8}, keywords = {dblp}, pages = {352-366}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:06.000+0200}, title = {Combination of Constraint Solving Techniques: An Algebraic POint of View.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta95.html#BaaderS95}, volume = 914, year = 1995 }