BibTeX Entry

@unpublished{M-94,
 booktitle
 author    = "Aart Middeldorp",
 title     = "A Simple Proof to a Result of {B}ernhard {G}ramlich",
 note      = "Presented at the 5th Japanese Term Rewriting Meeting,
              Tsukuba, February 3--4",
 year      = 1994
}