Henry A. Kautz
Scalable Knowledge Representation and Reasoning Systems
CADE, 2000.
@inproceedings{CADE-2000-Kautz, author = "Henry A. Kautz", booktitle = "{Proceedings of the 17th International Conference on Automated Deduction}", doi = "10.1007/10721959_14", isbn = "3-540-67664-3", pages = "183", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Scalable Knowledge Representation and Reasoning Systems}", volume = 1831, year = 2000, }