Helsinki Logic Machine: a System for Logical Expertise

Reference:

Ilkka Niemelä and H. 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{NT87:hlm,
    address = {Espoo, Finland},
    author = {Ilkka Niemel{\"a} and Tuominen, H.},
    institution = {Helsinki University of Technology, Digital Systems Laboratory},
    month = {December},
    number = {B1},
    title = {{Helsinki Logic Machine}: a System for Logical Expertise},
    type = {Technical report},
    year = {1987},
}