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