%0 Journal Article %1 journals/jar/Wos94 %A Wos, Larry %D 1994 %J J. Autom. Reason. %K dblp %N 2 %P 265-271 %T The problem of hyperparamodulation. %U http://dblp.uni-trier.de/db/journals/jar/jar12.html#Wos94 %V 12

@article{journals/jar/Wos94, added-at = {2023-08-28T00:00:00.000+0200}, author = {Wos, Larry}, biburl = {https://www.bibsonomy.org/bibtex/24e6fea9eda165baa30c964f3093b90e5/dblp}, ee = {https://www.wikidata.org/entity/Q114267034}, interhash = {21d5ea21ded4f8e504d54110d17a43e4}, intrahash = {4e6fea9eda165baa30c964f3093b90e5}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 2, pages = {265-271}, timestamp = {2024-04-09T05:02:55.000+0200}, title = {The problem of hyperparamodulation.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar12.html#Wos94}, volume = 12, year = 1994 }