# HG changeset patch
# User wenzelm
# Date 1542314665 -3600
# Node ID 48196cfb1541f1e0db3236a0112afc31bddde029
# Parent  196347d2fd2da791fbb7b8e48d58e20415c7c406
proper citation (amending d8205bb279a7);

diff -r 196347d2fd2d -r 48196cfb1541 src/Doc/manual.bib
--- 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,