%0 Conference Paper %1 conf/ijcai/Inoue91 %A Inoue, Katsumi %B IJCAI %D 1991 %E Mylopoulos, John %E Reiter, Raymond %I Morgan Kaufmann %K dblp %P 158-164 %T Consequence-Finding Based on Ordered Linear Resolution. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai91.html#Inoue91 %@ 1-55860-160-0

@inproceedings{conf/ijcai/Inoue91, added-at = {2019-08-20T00:00:00.000+0200}, author = {Inoue, Katsumi}, biburl = {https://www.bibsonomy.org/bibtex/25f0204b97cd50da9a0df73b75d3bd28d/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1991}, editor = {Mylopoulos, John and Reiter, Raymond}, ee = {http://ijcai.org/Proceedings/91-1/Papers/026.pdf}, interhash = {0753dcc969915cafac52594d5c9c2d59}, intrahash = {5f0204b97cd50da9a0df73b75d3bd28d}, isbn = {1-55860-160-0}, keywords = {dblp}, pages = {158-164}, publisher = {Morgan Kaufmann}, timestamp = {2019-08-21T11:44:41.000+0200}, title = {Consequence-Finding Based on Ordered Linear Resolution.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai91.html#Inoue91}, year = 1991 }