%0 Conference Paper %1 conf/rta/Stickel95 %A Stickel, Mark E. %B RTA %D 1995 %E Hsiang, Jieh %I Springer %K dblp %P 101 %T Term Rewriting in Contemporary Resolution Theorem Proving (Abstract). %U http://dblp.uni-trier.de/db/conf/rta/rta95.html#Stickel95 %V 914 %@ 3-540-59200-8

@inproceedings{conf/rta/Stickel95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/2908274733ab18651c5dd1ba4f8b96002/dblp}, booktitle = {RTA}, crossref = {conf/rta/1995}, editor = {Hsiang, Jieh}, ee = {https://doi.org/10.1007/3-540-59200-8_50}, interhash = {0a81890a2a04d67edce5aec6254649ca}, intrahash = {908274733ab18651c5dd1ba4f8b96002}, isbn = {3-540-59200-8}, keywords = {dblp}, pages = 101, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:06.000+0200}, title = {Term Rewriting in Contemporary Resolution Theorem Proving (Abstract).}, url = {http://dblp.uni-trier.de/db/conf/rta/rta95.html#Stickel95}, volume = 914, year = 1995 }