@inbook{042dd2c0e2ae4f68b1cc73e4f7454988,
title = "A Survey of Automated Deduction",
abstract = "We survey research in the automation of deductive inference, from its beginnings in the early history of computing to the present day. We identify and describe the major areas of research interest and their applications. The area is characterised by its wide variety of proof methods, forms of automated deduction and applications.",
author = "Alan Bundy",
year = "1999",
doi = "10.1007/3-540-48317-9_6",
language = "English",
isbn = "978-3-540-66428-4",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "153--174",
editor = "Wooldridge, {Michael J.} and Manuela Veloso",
booktitle = "Artificial Intelligence Today",
address = "United Kingdom",
}