%0 Conference Paper %1 conf/ijcai/IraniS85 %A Irani, Keki B. %A Shin, D. G. %B IJCAI %D 1985 %E Joshi, Aravind K. %I Morgan Kaufmann %K dblp %P 1175-1177 %T A Many-Sorted Resolution Based on an Extension of a First-Order Language. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#IraniS85

@inproceedings{conf/ijcai/IraniS85, added-at = {2012-05-15T00:00:00.000+0200}, author = {Irani, Keki B. and Shin, D. G.}, biburl = {https://www.bibsonomy.org/bibtex/23d76ee91815f966b215dc0dc69385f28/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1985}, editor = {Joshi, Aravind K.}, ee = {http://ijcai.org/proceedings/1985-2}, interhash = {520457cf59b9d0b8d4fe0cd3d3b7b3f9}, intrahash = {3d76ee91815f966b215dc0dc69385f28}, keywords = {dblp}, pages = {1175-1177}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:47:52.000+0200}, title = {A Many-Sorted Resolution Based on an Extension of a First-Order Language.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai85.html#IraniS85}, year = 1985 }