doc-src/manual.bib
changeset 7989 50ca726466c6
parent 7966 4db0cdd752f7
child 7991 966efa3bb851
equal deleted inserted replaced
7988:feea893b47c7 7989:50ca726466c6
   948   author	= {Larry Wos},
   948   author	= {Larry Wos},
   949   title		= {Automated Reasoning and {Bledsoe's} Dream for the Field},
   949   title		= {Automated Reasoning and {Bledsoe's} Dream for the Field},
   950   crossref	= {bledsoe-fest},
   950   crossref	= {bledsoe-fest},
   951   pages		= {297-342}}
   951   pages		= {297-342}}
   952 
   952 
       
   953 @InProceedings{Zammit:1999:TPHOL,
       
   954   author = 	 {Vincent Zammit},
       
   955   title = 	 {On the Implementation of an Extensible Declarative Proof Language},
       
   956   crossref =     {tphols99}}
       
   957 
       
   958 %Z
       
   959 
   953 
   960 
   954 % CROSS REFERENCES
   961 % CROSS REFERENCES
   955 
   962 
   956 @book{handbk-lics2,
   963 @book{handbk-lics2,
   957   editor	= {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},
   964   editor	= {S. Abramsky and D. M. Gabbay and T. S. E. Maibaum},