%0 Journal Article %1 journals/jar/Stickel94 %A Stickel, Mark E. %D 1994 %J J. Autom. Reason. %K dblp %N 2 %P 189-210 %T Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction. %U http://dblp.uni-trier.de/db/journals/jar/jar13.html#Stickel94 %V 13

@article{journals/jar/Stickel94, added-at = {2020-09-02T00:00:00.000+0200}, author = {Stickel, Mark E.}, biburl = {https://www.bibsonomy.org/bibtex/26356cde77a8bf83b42f8991114e9af85/dblp}, ee = {https://doi.org/10.1007/BF00881955}, interhash = {fff5f6942413672c14a0e497b363da06}, intrahash = {6356cde77a8bf83b42f8991114e9af85}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {189-210}, timestamp = {2020-09-09T13:35:18.000+0200}, title = {Upside-Down Meta-Interpretation of the Model Elimination Theorem-Proving Procedure for Deduction and Abduction.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar13.html#Stickel94}, volume = 13, year = 1994 }