Reference:
Ilkka Niemelä and H. Tuominen. A system for logical expertise. In Proceedings of the Finnish Artificial Intelligence Symposium, Volume 2, pages 44–53, Espoo, Finland, August 1986. Finnish Society of Information Processing Science.
Suggested BibTeX entry:
@inproceedings{NT86:hlm,
address = {Espoo, Finland},
author = {Ilkka Niemel{\"a} and Tuominen, H.},
booktitle = {Proceedings of the Finnish Artificial Intelligence Symposium, Volume 2},
month = {August},
pages = {44--53},
publisher = {Finnish Society of Information Processing Science},
title = {A System for Logical Expertise},
year = {1986},
}
|