BibTeX Entry

@phdthesis{M-PHD,
 author    = "Aart Middeldorp",
 title     = "Modular Properties of Term Rewriting Systems",
 school    = "Vrije Universiteit, Amsterdam",
 year      = 1990
 booktitle
}