%0 Conference Paper %1 conf/ismis/ChadhaP93 %A Chadha, Ritu %A Plaisted, David A. %B ISMIS %D 1993 %E Komorowski, Henryk Jan %E Ras, Zbigniew W. %I Springer %K dblp %P 255-264 %T Finding Logical Consequences Using Unskolemization. %U http://dblp.uni-trier.de/db/conf/ismis/ismis93.html#ChadhaP93 %V 689 %@ 3-540-56804-2

@inproceedings{conf/ismis/ChadhaP93, added-at = {2017-05-20T00:00:00.000+0200}, author = {Chadha, Ritu and Plaisted, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2a7b1fd9d61a7fd1edb7c541d7af26740/dblp}, booktitle = {ISMIS}, crossref = {conf/ismis/1993}, editor = {Komorowski, Henryk Jan and Ras, Zbigniew W.}, ee = {https://doi.org/10.1007/3-540-56804-2_24}, interhash = {563158aec6ebb9a468ce5efda34ba824}, intrahash = {a7b1fd9d61a7fd1edb7c541d7af26740}, isbn = {3-540-56804-2}, keywords = {dblp}, pages = {255-264}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T17:00:41.000+0200}, title = {Finding Logical Consequences Using Unskolemization.}, url = {http://dblp.uni-trier.de/db/conf/ismis/ismis93.html#ChadhaP93}, volume = 689, year = 1993 }