%0 Conference Paper %1 conf/icalp/HsiangD83 %A Hsiang, Jieh %A Dershowitz, Nachum %B ICALP %D 1983 %E Díaz, Josep %I Springer %K dblp %P 331-346 %T Rewrite Methods for Clausal and Non-Clausal Theorem Proving. %U http://dblp.uni-trier.de/db/conf/icalp/icalp83.html#HsiangD83 %V 154 %@ 3-540-12317-2

@inproceedings{conf/icalp/HsiangD83, added-at = {2017-05-19T00:00:00.000+0200}, author = {Hsiang, Jieh and Dershowitz, Nachum}, biburl = {https://www.bibsonomy.org/bibtex/2480fd04ce0aef6b8d40a4cdc55d71803/dblp}, booktitle = {ICALP}, crossref = {conf/icalp/1983}, editor = {Díaz, Josep}, ee = {https://doi.org/10.1007/BFb0036919}, interhash = {07601e2adb76efa246494098416bd457}, intrahash = {480fd04ce0aef6b8d40a4cdc55d71803}, isbn = {3-540-12317-2}, keywords = {dblp}, pages = {331-346}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:27:42.000+0200}, title = {Rewrite Methods for Clausal and Non-Clausal Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp83.html#HsiangD83}, volume = 154, year = 1983 }