--- a/src/Doc/manual.bib Thu Nov 15 21:33:00 2018 +0100
+++ b/src/Doc/manual.bib Thu Nov 15 21:44:25 2018 +0100
@@ -658,12 +658,15 @@
url = {https://doi.org/10.1016/j.jal.2007.11.001},
}
-@InProceedings{felty91a,
- Author = {Amy Felty},
- Title = {A Logic Program for Transforming Sequent Proofs to Natural
- Deduction Proofs},
- crossref = {extensions91},
- pages = {157-178}}
+@inproceedings{felty91a,
+ author = {Amy Felty},
+ title = {A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs},
+ booktitle = {Extensions of Logic Programming, International Workshop, T{\"{u}}bingen,
+ FRG, December 8-10, 1989, Proceedings},
+ pages = {157--178},
+ year = {1989},
+ url = {https://doi.org/10.1007/BFb0038694},
+}
@Article{fleuriot-jcm,
author = {Jacques Fleuriot and Lawrence C. Paulson},
@@ -2344,14 +2347,6 @@
publisher = {Academic Press},
year = 1990}
-@proceedings{extensions91,
- editor = {Peter Schroeder-Heister},
- title = {Extensions of Logic Programming},
- booktitle = {Extensions of Logic Programming},
- year = 1991,
- series = {LNAI 475},
- publisher = {Springer}}
-
@proceedings{cade10,
editor = {Mark E. Stickel},
title = {10th } # CADE,