%0 Journal Article %1 journals/kbs/KondoMI93 %A Kondo, Akiko %A Makino, Toshiro %A Ishizuka, Mitsuru %D 1993 %J Knowl. Based Syst. %K dblp %N 2 %P 87-94 %T Efficient hypothetical reasoning system for predicate-logic knowledge base. %U http://dblp.uni-trier.de/db/journals/kbs/kbs6.html#KondoMI93 %V 6

@article{journals/kbs/KondoMI93, added-at = {2020-02-25T00:00:00.000+0100}, author = {Kondo, Akiko and Makino, Toshiro and Ishizuka, Mitsuru}, biburl = {https://www.bibsonomy.org/bibtex/2d63034d06eebaec866be6916743eb1a4/dblp}, ee = {https://doi.org/10.1016/0950-7051(93)90023-M}, interhash = {cdc3aec8d9b78398fbbbd54179fa5d13}, intrahash = {d63034d06eebaec866be6916743eb1a4}, journal = {Knowl. Based Syst.}, keywords = {dblp}, number = 2, pages = {87-94}, timestamp = {2020-02-26T11:53:15.000+0100}, title = {Efficient hypothetical reasoning system for predicate-logic knowledge base.}, url = {http://dblp.uni-trier.de/db/journals/kbs/kbs6.html#KondoMI93}, volume = 6, year = 1993 }