src/Doc/manual.bib
changeset 67021 41f1f8c4259b
parent 66307 50ed697e97f1
child 67227 6f6b26557ea9
     1.1 --- a/src/Doc/manual.bib	Tue Nov 07 15:16:40 2017 +0100
     1.2 +++ b/src/Doc/manual.bib	Tue Nov 07 15:16:41 2017 +0100
     1.3 @@ -1831,11 +1831,19 @@
     1.4    crossref  = {tphols96},
     1.5    pages		= {381-397}}
     1.6  
     1.7 -@inproceedings{snark,
     1.8 -  author = {M. Stickel and R. Waldinger and M. Lowry and T. Pressburger and I. Underwood},
     1.9 -  title = {Deductive composition of astronomical software from subroutine libraries},
    1.10 -  pages = "341--355",
    1.11 -  crossref = {cade12}}
    1.12 +@inproceedings{leo3,
    1.13 +  Author =	 {Alexander Steen and Max Wisniewski and Christoph
    1.14 +                  Benzm{\"u}ller},
    1.15 +  Booktitle =	 {Mathematical Software -- ICMS 2016},
    1.16 +  Editor =	 {G.-M. Greuel and T. Koch and P. Paule and
    1.17 +                  A. Sommese},
    1.18 +  Publisher =	 {Springer},
    1.19 +  Series =	 {LNCS},
    1.20 +  Title =	 {Agent-Based {HOL} Reasoning},
    1.21 +  Volume =	 9725,
    1.22 +  Year =	 2016,
    1.23 +  Pages =	 {75-81}
    1.24 +}
    1.25  
    1.26  @incollection{sternagel-thiemann-2015,
    1.27    title = "Deriving Class Instances for Datatypes",
    1.28 @@ -1846,6 +1854,12 @@
    1.29    month = "March",
    1.30    year = 2015}
    1.31  
    1.32 +@inproceedings{snark,
    1.33 +  author = {M. Stickel and R. Waldinger and M. Lowry and T. Pressburger and I. Underwood},
    1.34 +  title = {Deductive composition of astronomical software from subroutine libraries},
    1.35 +  pages = "341--355",
    1.36 +  crossref = {cade12}}
    1.37 +
    1.38  @book{suppes72,
    1.39    author	= {Patrick Suppes},
    1.40    title		= {Axiomatic Set Theory},