@inbook{68ab7024c8e24f028804dbcaa48d5a71,
title = "An overview of the Edinburgh logical framework",
author = "Arnon Avron and Furio Honsell and Mason, \{Ian A.\}",
year = "1989",
doi = "10.1007/978-1-4612-3658-0\_8",
language = "אנגלית",
isbn = "978-1-4612-8195-5",
pages = "323--340",
editor = "\{Birtwistle \}, \{Graham \} and Subrahmanyam, \{P.A. \}",
booktitle = "Current trends in hardware verification and automated theorem proving",
publisher = "Springer New York",
address = "ארצות הברית",
edition = "1",
}