%0 Conference Paper %1 reason:Inoue91a %A Inoue, K. %B Proc.\ 12th International Joint Conf.\ on Artificial Intelligence (IJCAI-91) %C Sydney, Australia %D 1991 %K imported ml %P 158--164 %T Consequence-Finding Based on Ordered Linear Resolution

@inproceedings{reason:Inoue91a, added-at = {2016-11-26T13:19:29.000+0100}, address = {Sydney, Australia}, author = {Inoue, K.}, biburl = {https://www.bibsonomy.org/bibtex/24b158bce303d4d0b3b1a39cd9a7ad4fa/machinelearning}, booktitle = {Proc.\ 12th International Joint Conf.\ on Artificial Intelligence (IJCAI-91)}, interhash = {0753dcc969915cafac52594d5c9c2d59}, intrahash = {4b158bce303d4d0b3b1a39cd9a7ad4fa}, keywords = {imported ml}, month = aug, pages = {158--164}, serial = {Inoue91a}, timestamp = {2016-11-26T13:20:49.000+0100}, title = {Consequence-Finding Based on Ordered Linear Resolution}, year = 1991 }