%0 Journal Article %1 journals/ai/Inoue92 %A Inoue, Katsumi %D 1992 %J Artif. Intell. %K dblp %N 2-3 %P 301-353 %T Linear Resolution for Consequence Finding. %U http://dblp.uni-trier.de/db/journals/ai/ai56.html#Inoue92 %V 56

@article{journals/ai/Inoue92, added-at = {2020-10-26T00:00:00.000+0100}, author = {Inoue, Katsumi}, biburl = {https://www.bibsonomy.org/bibtex/2992a69a84c3ebcfa6587308cf1bee09b/dblp}, ee = {https://doi.org/10.1016/0004-3702(92)90030-2}, interhash = {84ff12bda4eed2aac1e5f64922fd0c16}, intrahash = {992a69a84c3ebcfa6587308cf1bee09b}, journal = {Artif. Intell.}, keywords = {dblp}, number = {2-3}, pages = {301-353}, timestamp = {2020-10-27T12:11:55.000+0100}, title = {Linear Resolution for Consequence Finding.}, url = {http://dblp.uni-trier.de/db/journals/ai/ai56.html#Inoue92}, volume = 56, year = 1992 }