src/Doc/manual.bib
changeset 69308 48196cfb1541
parent 68649 f849fc1cb65e
child 70252 236c1bb128da
equal deleted inserted replaced
69307:196347d2fd2d 69308:48196cfb1541
   656   pages     = {267--286},
   656   pages     = {267--286},
   657   year      = {2008},
   657   year      = {2008},
   658   url       = {https://doi.org/10.1016/j.jal.2007.11.001},
   658   url       = {https://doi.org/10.1016/j.jal.2007.11.001},
   659 }
   659 }
   660 
   660 
   661 @InProceedings{felty91a,
   661 @inproceedings{felty91a,
   662   Author	= {Amy Felty},
   662   author    = {Amy Felty},
   663   Title		= {A Logic Program for Transforming Sequent Proofs to Natural
   663   title     = {A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs},
   664 		  Deduction Proofs},
   664   booktitle = {Extensions of Logic Programming, International Workshop, T{\"{u}}bingen,
   665   crossref	= {extensions91},
   665                FRG, December 8-10, 1989, Proceedings},
   666   pages		= {157-178}}
   666   pages     = {157--178},
       
   667   year      = {1989},
       
   668   url       = {https://doi.org/10.1007/BFb0038694},
       
   669 }
   667 
   670 
   668 @Article{fleuriot-jcm,
   671 @Article{fleuriot-jcm,
   669   author = 	 {Jacques Fleuriot and Lawrence C. Paulson},
   672   author = 	 {Jacques Fleuriot and Lawrence C. Paulson},
   670   title = 	 {Mechanizing Nonstandard Real Analysis},
   673   title = 	 {Mechanizing Nonstandard Real Analysis},
   671   journal = 	 {LMS Journal of Computation and Mathematics},
   674   journal = 	 {LMS Journal of Computation and Mathematics},
  2342   title		= {Logic and Computer Science},
  2345   title		= {Logic and Computer Science},
  2343   booktitle	= {Logic and Computer Science},
  2346   booktitle	= {Logic and Computer Science},
  2344   publisher	= {Academic Press},
  2347   publisher	= {Academic Press},
  2345   year		= 1990}
  2348   year		= 1990}
  2346 
  2349 
  2347 @proceedings{extensions91,
       
  2348   editor	= {Peter Schroeder-Heister},
       
  2349   title		= {Extensions of Logic Programming},
       
  2350   booktitle	= {Extensions of Logic Programming},
       
  2351   year		= 1991,
       
  2352   series	= {LNAI 475},
       
  2353   publisher	= {Springer}}
       
  2354 
       
  2355 @proceedings{cade10,
  2350 @proceedings{cade10,
  2356   editor	= {Mark E. Stickel},
  2351   editor	= {Mark E. Stickel},
  2357   title		= {10th } # CADE,
  2352   title		= {10th } # CADE,
  2358   booktitle	= {10th } # CADE,
  2353   booktitle	= {10th } # CADE,
  2359   year		= 1990,
  2354   year		= 1990,