%0 Conference Paper %1 conf/ijcai/LimH85 %A Lim, Younghwan %A Henschen, Lawrence J. %B IJCAI %D 1985 %E Joshi, Aravind K. %I Morgan Kaufmann %K dblp %P 1138-1145 %T A New Hyperparamodulation Strategy for the Equality Relation. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#LimH85

@inproceedings{conf/ijcai/LimH85, added-at = {2019-08-20T00:00:00.000+0200}, author = {Lim, Younghwan and Henschen, Lawrence J.}, biburl = {https://www.bibsonomy.org/bibtex/2c8df9ba3c75aa1e7e1f6c9aa654af120/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1985}, editor = {Joshi, Aravind K.}, ee = {http://ijcai.org/Proceedings/85-2/Papers/096.pdf}, interhash = {8a5c1540a71a3678e24d4d17d51736ff}, intrahash = {c8df9ba3c75aa1e7e1f6c9aa654af120}, keywords = {dblp}, pages = {1138-1145}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:47:52.000+0200}, title = {A New Hyperparamodulation Strategy for the Equality Relation.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#LimH85}, year = 1985 }