--- a/src/Doc/manual.bib Sun Dec 24 14:37:47 2017 +0100
+++ b/src/Doc/manual.bib Sun Dec 24 14:46:26 2017 +0100
@@ -301,6 +301,7 @@
author = {M.A. Bezem and T. Coquand},
title = {Automating {Coherent Logic}},
booktitle = {LPAR-12},
+ year = 2005,
editor = {G. Sutcliffe and A. Voronkov},
volume = 3835,
series = LNCS,
@@ -438,7 +439,6 @@
editor = {Renate A. Schmidt},
booktitle = {Automated Deduction --- CADE-22},
series = {Lecture Notes in Computer Science},
- year = {2009},
volume = {5663},
publisher = {Springer}
}
@@ -524,7 +524,7 @@
Ring Equalities via {Gr\"obner Bases} in {Isabelle}},
booktitle = {Towards Mechanized Mathematical Assistants (CALCULEMUS 2007)},
editor = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
- series = LNAI,
+ series = "LNAI",
volume = 4573,
year = 2007,
publisher = Springer
@@ -574,6 +574,8 @@
@inproceedings{cruanes-2014,
author = "Simon Cruanes",
title = "Logtk: A {Logic ToolKit} for Automated Reasoning, and its Implementation",
+ booktitle = {4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR
+ 2014, Vienna, Austria, 2014},
year = 2014,
note = {Presented at the Practical Aspects of Automated Reasoning (PAAR) workshop}}
@@ -1087,7 +1089,6 @@
series = {Lecture Notes in Computer Science},
volume = {9236},
publisher = {Springer},
- year = {2015},
}
@Book{kunen80,
@@ -1130,7 +1131,6 @@
series = LNCS,
volume = {8558},
publisher = {Springer},
- year = {2014}
}
@book{loveland-78,
@@ -1184,10 +1184,9 @@
year = {2014},
url = {http://dx.doi.org/10.1007/978-3-319-08970-6_25},
doi = {10.1007/978-3-319-08970-6_25},
- series = LNCS,
+ series = "LNCS",
volume = {8558},
publisher = {Springer},
- year = {2014},
}
@incollection{melham89,
@@ -1990,7 +1989,7 @@
@Unpublished{voelker94,
author = {Norbert V{\"o}lker},
title = {The Verification of a Timer Program using {Isabelle/HOL}},
- url = {\url{ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz}},
+ note = {\url{ftp://ftp.fernuni-hagen.de/pub/fachb/et/dvt/projects/verification/timer.tar.gz}},
year = 1994,
month = aug}
@@ -2073,7 +2072,8 @@
booktitle = {The Seventeen Provers of the World},
year = 2006,
editor = {F. Wiedijk},
- series = {LNAI 3600}
+ series = {LNAI 3600},
+ publisher = Springer
}
@InCollection{Wenzel:2006:Festschrift,