A System for Logical Expertise

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},
}