Laurent Simon, Alvaro del Val. Efficient Consequence Finding. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 359-370, Morgan Kaufmann, 2001.
@inproceedings{SimonV01,
title = {Efficient Consequence Finding},
author = {Laurent Simon and Alvaro del Val},
year = {2001},
researchr = {https://researchr.org/publication/SimonV01},
cites = {0},
citedby = {0},
pages = {359-370},
booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001},
editor = {Bernhard Nebel},
publisher = {Morgan Kaufmann},
isbn = {1-55860-777-3},
}