Helsinki Logic Machine: a System for Logical Expertise

Reference:

Ilkka Niemelä and Heikki Tuominen. Helsinki logic machine: a system for logical expertise. Technical Report B1, Helsinki University of Technology, Digital Systems Laboratory, Espoo, Finland, December 1987.

Suggested BibTeX entry:

@techreport{HUT-TCS-B1,
    address = {Espoo, Finland},
    author = {Ilkka Niemel{\"a} and Heikki Tuominen},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {December},
    number = {B1},
    pages = {57},
    title = {Helsinki Logic Machine: a System for Logical Expertise},
    type = {Technical Report},
    year = {1987},
}