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