@inbook{8d8960229bb34656b02277d6dbb3c5aa,
title = "Twenty-five years of Automath research",
abstract = "This introductory contribution consists of two parts. In Section 1, we give a concise historical overview of proof systems, leading to a short survey of the Automath project and a description of recent developments. The main subject, to be found in Section 2, is an explanatory survey of all papers selected for this Volume.",
author = "R.P. Nederpelt",
year = "1994",
language = "English",
isbn = "0-444-89822-0",
series = "Studies in Logic",
publisher = "North-Holland Publishing Company",
pages = "3--54",
editor = "R.P. Nederpelt and J.H. Geuvers and \{Vrijer, de\}, R.C.",
booktitle = "Selected Papers on Automath",
address = "Netherlands",
}