extpubs.bib

@STRING{epmessage = "READ the README please!!!!!!!!!!!!!!"}
@STRING{ai    = "Artificial Intelligence"}
@STRING{mcgh	 = "McGraw-Hill"}
@STRING{jair  = "Journal of Artificial Intelligence Research"}
@STRING{kauf     = "Morgan Kaufmann"} 
@STRING{wil      = "Wiley"}
@STRING{spring   = "Springer-Verlag"}
@STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}

@online{wikipedia:matroid,
  label = {MWP},
  title = {Matroid --- Wikipedia{,} The Free Encyclopedia},
  urldate = {2018-04-4},
  url = {https://en.wikipedia.org/w/index.php?title=Matroid}}
  
@article{spitters_classes,
  author    = {Bas Spitters and
               Eelis van der Weegen},
  title     = {Type Classes for Mathematics in Type Theory},
  journal   = {CoRR},
  volume    = {abs/1102.1323},
  year      = {2011},
  url       = {http://arxiv.org/abs/1102.1323},
  archivePrefix = {arXiv},
  eprint    = {1102.1323},
  timestamp = {Wed, 07 Jun 2017 14:40:27 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1102-1323},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{Cichy_ImageryAndPerception_2012,
author = {Cichy, Radoslaw M. and Heinzle, Jakob and Haynes, John-Dylan},
title = {Imagery and Perception Share Cortical Representations of Content and Location},
journal = {Cerebral Cortex},
volume = {22},
number = {2},
pages = {372},
year = {2012}
}

@techreport{MOLTO:D6.1,
  label = {MD61},
  title = {D6.1. Simple Drill Grammar Library},
  url = {https://www.molto-project.eu/sites/default/files/d61.pdf}}
  
@online{WolframLanguage:wikipedia,
    author = "Wikipedia",
    title = "Wolfram Language --- Wikipedia{,} The Free Encyclopedia",
    year = "2017",
    url = "https://en.wikipedia.org/w/index.php?title=Wolfram_Language",
    urldate = {2017-10-09}
  }

@online{idris:doc,
  title = "Documentation for the Idris Language",
  url = "http://docs.idris-lang.org/en/latest/",
  urldate = {2018-02-04}
}

@InProceedings{luo:manifestfields,
author="Luo, Zhaohui",
editor="Berardi, Stefano
and Damiani, Ferruccio
and de'Liguoro, Ugo",
title="Manifest Fields and Module Mechanisms in Intensional Type Theory",
booktitle="Types for Proofs and Programs",
year="2009",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="237--255",
abstract="Manifest fields in a type of modules are shown to be expressible in intensional type theory without strong extensional equality rules. These intensional manifest fields are made available with the help of coercive subtyping. It is shown that, for both $\Sigma$-types and dependent record types, the with-clause for expressing manifest fields can be introduced by means of the intensional manifest fields. This provides not only a higher-order module mechanism with ML-style sharing, but a powerful modelling mechanism in formalisation and verification of OO-style program modules.",
isbn="978-3-642-02444-3"
}

  
@online{gloin:on,crossref={gloin:base},
  label = {GLO},
  urldate = {2017-10-13}}
@misc{gloin:URL,crossref={gloin:base},
  key = {GLO},
  howpublished = {Course notes at \url{https://www8.cs.fau.de/_media/ws16:gloin:skript.pdf}},
  urldate = {2017-10-13}}
@misc{gloin:base,
  title = {Grundlagen der Logik in der Informatik},
  url = {https://www8.cs.fau.de/_media/ws16:gloin:skript.pdf}}

@manual{Concise-manual:on,
  label = {CM},
  author = {Ferenc Domes and Arnold Neumaier and Kevin Kofler and Peter Schodl and Hermann Schichl},
  title = {Concise Manual},
  url = {http://www.mat.univie.ac.at/~neum/ms/ConciseManual.pdf}}
  
@mastersthesis{Pichler:srmk16,
  author = {Andreas Pichler},
  title = {Semantische Repr{\"a}sentation mathematischer Konzepte},
  institution = {Faculty of Mathematics, University of Vienna},
  year = {2016},
  url = {http://www.mat.univie.ac.at/~neum/ms/pichlerMaster.pdf}}

@online{MOLTO:on,
  label = {MO},
  title = {MOLTO -- Multilingual Online Translation},
  url = {http://www.molto-project.eu/},
  urldate = {2017-10-06}}

@online{molto-gf:on,
  label = {MGL},
  title = {The MOLTO Math GF libraries},
  url = {https://github.com/GrammaticalFramework/gf-contrib/tree/master/mgl},
  urldate = {2017-10-06}}
  
@phdthesis{Wagner:coamas10,
    author = {Marc Wagner},
    title = {A change-oriented architecture for mathematical authoring assistance},
    school = {Universit{\"a}t des Saarlandes},
    year = {2010},
    language = {eng},
    URL = {http://scidok.sulb.uni-saarland.de/volltexte/2011/3929},
}

@phdthesis{Kofler:dgpnml17,
  author = {Kevin Kofler},
  title = {Dynamic Generalized Parsing and Natural Mathematical Language},
  institution = {Universit{\"a}t Wien},
  url = {https://www.tigen.org/kevin.kofler/fmathl/dyngenpar/diss.pdf},
  year = {2017}}
  
@online{swMath:tpmuseum:on,
  url = {http://swmath.org/?c4f=museum&which_search=advanced},
  title = {{swMath} -- Theorem Prover Museum},
  urldate = {2017-09-07},
  label = {SWM}}
  
@online{swMATH:on,
  title = {Mathematical Software -- {swMATH}},
  label = {SWM},
  url = {http://swmath.org},
  urldate = {2017-09-07}}
  
@book{Wolzenlogel-Paleo:teps17,
  title = {Towards an Encyclopaedia of Proof Systems},   
  editor = {Woltzenlogel Paleo, Bruno}, 
  publisher = {College Publications}, 
  address = {London, UK},
  url = {https://github.com/ProofSystem/Encyclopedia/blob/master/main.pdf},
  year = {2017},
  month = {1},
  edition = {1},
  isbn = {978-1-84890-233-6}
}
@techreport{NewSim:ltmcips56,
  title = {The Logic Theory Machine, A complex information processing system},
  author = {Allen Newell and Herbert A. Simon},
  year  = {1956},
  institution = {Rand Corporation},
  number = {P-868},
  url = {http://shelf1.library.cmu.edu/IMLS/MindModels/logictheorymachine.pdf}}

@InProceedings{Ranta:tlled11,
  author="Ranta, Aarne",
  title="Translating between Language and Logic: What Is Easy and What Is Difficult",
  crossref = {CADE11},
  pages={5--25},
  doi="10.1007/978-3-642-22438-6_3"}

@online{OMCD:poly:on,
  label = {OMCP},
  title = {{OpenMath CD Group}: polygrp},
  url = {http://www.openmath.org/cdgroups/polygrp.html},
  urldate = {2017-09-01}}
@online{jupyter-project:on,
  label = {Jup},
  title = {Project Jupyter},
  url = {http://www.jupyter.org},
  urldate = {2017-08-22}}

@online{jupyter-doc:on,
  label = {JupDoc},
  title = {What is Jupyter},
  url = {http://jupyter-notebook-beginner-guide.readthedocs.org/en/latest/what_is_jupyter.html},
  urldate = {2017-08-22}}

@online{jupyter-notebook:on,
  label = {JupNotebook},
  title = {Jupyter Notebook},
  url = {http://jupyter-notebook.readthedocs.org/en/latest/notebook.html#notebook-documents},
  urldate = {2017-08-22}}

@online{jupyter-git:on,
  label = {JupGit},
  title = {Git Repository Jupyter},
  url = {https://github.com/jupyter},
  urldate = {2017-08-22}}

@online{ipython:on,
  label = {IPh},
  title = {IPython},
  url = {http://jupyter.cs.brynmawr.edu/hub/dblank/public/Jupyter%20Notebook%20Users%20Manual.ipynb},
  urldate = {2017-08-22}}

@online{juplit:on,
  label = {JupLit},
  title = {Jupyter Notebook Practice},
  url = {http://www.svds.com/jupyter-notebook-best-practices-for-data-science},
  urldate = {2017-08-22}}

@online{ipython-wikipedia:on,
  label = {WikiIPh},
  title = {IPython Wikipedia},
  url = {https://en.wikipedia.org/wiki/IPython},
  urldate = {2017-08-22}}

@online{singular:on,
  label={SNG},
  title={Singular},
  url = {https://www.singular.uni-kl.de/},
  urldate = {2017-08-22}}
  
@Book{Bressert:snod12,
  title={SciPy and NumPy: An Overview for Developers},
  author={Bressert, E.},
  isbn={9781449361624},
  year={2012},
  publisher={O'Reilly Media}
}

@online{OMSoc:on,
  label = {OM},
  title = {The OpenMath Society},
  url = {http://www.openmath.org/society/},
  urldate = {2017-07-02}}
@Misc{stephan,
  author = {Ralf Stephan},
  title = {Prove or Disprove 100 Conjectures From The OEIS},
  howpublished = {\url{http://arxiv.org/pdf/math/0409509v4.pdf}},
  year={2004}}

@online{IMKT:on,
  label = {IMKT},
  title = {The International Mathematical Knowledge Trust},
  url = {http://imkt.org},
  urldate = {2017-07-02}}
  
@online{CASregistry:on,
  label = {CAS},
  title = {CAS REGISTRY - The gold standard for chemical substance information},
  url = {http://www.cas.org/content/chemical-substances},
  urldate = {2017-06-25}}
  
@online{InChI:on,
  label = {InChi},
  title = {The {IUPAC} International Chemical Identifier ({INCHI})},
  url = {https://iupac.org/who-we-are/divisions/division-details/inchi/},
  urldate = {2017-06-25}}
  
@online{DOI:on,
  title = {Information and documentation -- Digital object identifier system},
  label = {DOI},
  organization = {ISO},
  number = {ISO 26324:2012(en)},
  url = {https://www.iso.org/obp/ui/#iso:std:iso:26324:ed-1:v1:en},
  urldate = {2017-06-23}}
  
@book{Howard:dpmp60,
  author = {Howard, R. A.},
  year = {1960},
  title = {Dynamic Programming and Markov Processes},
  publisher = {MIT Press}}

@article{deFinetti:sssdp31,
author = {De Finetti, B.},
year = {1931},
title = {Sul significato soggettivo della probabilita},
journal = {Fundamenta Mathematicae},
volume = {17},
pages = {298--329}}

@inproceedings{MarPacuhcip92,
  title={Undecidability of the horn-clause implication problem},
  author={Marcinkowski, Jerzy and Pacholski, Leszek},
  booktitle={ 33rd Annual Symposium on Foundations of Computer Science},
  pages={354--362},
  year={1992},
  organization={IEEE}
}

@inproceedings{KellerW10:holcoq,
  author    = {Chantal Keller and
               Benjamin Werner},
  title     = {Importing {HOL} Light into Coq},
  booktitle = {{ITP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6172},
  pages     = {307--322},
  publisher = {Springer},
  year      = {2010}
}

@Inbook{Obua2006,
author="Obua, Steven
and Skalberg, Sebastian",
editor="Furbach, Ulrich
and Shankar, Natarajan",
title="Importing HOL into Isabelle/HOL",
bookTitle="Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings",
year="2006",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="298--302",
isbn="978-3-540-37188-5",
doi="10.1007/11814771_27",
url="http://dx.doi.org/10.1007/11814771_27"
}

@Inbook{Krauss2010,
author="Krauss, Alexander
and Schropp, Andreas",
editor="Kaufmann, Matt
and Paulson, Lawrence C.",
title="A Mechanized Translation from Higher-Order Logic to Set Theory",
bookTitle="Interactive Theorem Proving: First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings",
year="2010",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="323--338",
isbn="978-3-642-14052-5",
doi="10.1007/978-3-642-14052-5_23",
url="http://dx.doi.org/10.1007/978-3-642-14052-5_23"
}


@Article{Cremona:LMFDB16,
author="Cremona, John",
title="The L-Functions and Modular Forms Database Project",
journal="Foundations of Computational Mathematics",
year="2016",
volume="16",
number="6",
pages="1541--1553",
issn="1615-3383",
doi="10.1007/s10208-016-9306-z",
url="http://dx.doi.org/10.1007/s10208-016-9306-z"
}

@Book{Sloane:his73,
  author = {{N.J. A. Sloane}},
  title = {A Handbook of Integer Sequences},
  year = 1973,
  publisher = {Academic Press},
}

@Book{SloPlo:eis95,
  author = {{N.J. A. Sloane} and {Simon Plouffe}},
  title = {The Encyclopedia of Integer Sequences},
  year = 1995,
  publisher = {Academic Press},
}

@Misc{Sloane:oveis94,
  title = {An On-Line Version of the Encyclopedia of Integer Sequences},
  author = {{N. J. A. Sloane}},
  year = 1994,
  howpublished = "\url{http://www3.combinatorics.org/Volume_1/PDF/v1i1f1.pdf}",
}


@online{WP:physquant:on,
   author = {Wikipedia},
   title = {List of physical quantities --- Wikipedia{,} The Free Encyclopedia},
   url = {https://en.wikipedia.org/w/index.php?title=List_of_physical_quantities},
   urldate = {2017-03-22}}

@online{Modelica:on,
  title = {Modelica and the Modelica Association},
  label = {MO},
  url = {https://www.modelica.org/},
  urldate = {2017-03-12}}

@Techreport{FarRotDoa:nmddm16,
address = {Berlin},
author = {Farrell, Patricio and Rotundo, Nella and Doan, Duy Hai and Kantner, Markus and Fuhrmann, J{\"u}rgen and Koprucki,
Thomas},
year = {2016},
howpublished = {WIAS preprint No. 2263},
institution = {WIAS},
title = {Numerical methods for drift-diffusion models},
note = {To appear in: Handbook of Optoelectronic Device Modeling and Simulation: Lasers, Modulators, Photodetectors, Solar Cells, and Numerical Models --- Volume Two. Ed. J. Piprek, Taylor \& Francis, 2017}
}

@Article{hoffmann:jair-05,
  author = 	 {J{\"o}rg Hoffmann},
  title = 	 {Where `Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks},
  journal = 	 jair,
  year = {2005},
  volume = {24},
  pages = {685-758}
}

@phdthesis{Verrijzer:cimdpm15,
  title = {Context in interactive mathematical documents : personalizing mathematics},
  author = {Rikko Verrijzer},
  shool = {Technische Universiteit Eindhoven},
  year = {2015},
  month = {March},
  pages = {233},
  url = {https://pure.tue.nl/ws/files/9193921/20151203_Verrijzer.pdf},
  isbn = {978-90-386-3975-8}}

@InProceedings{penberthy:weld:kr-92,
  author = 	 "J. Scott Penberthy and Daniel S. Weld",
  title = 	 "{UCPOP}: A Sound, Complete, Partial Order Planner
		  for {ADL}",
  crossref =	 "kr92",
  pages =	 "103-114",
  URL = {ftp://ftp.cs.washington.edu/pub/ai/ucpop-kr92.ps.Z}
}
@INPROCEEDINGS{penberthy:weld:aaai-94,
   CROSSREF     = "aaai94",
   AUTHOR       = " J. Penberthy and D. Weld",
   TITLE        = "Temporal Planning with Continuous Change",
   PAGES        = "1010--1015"}

@Book{ghallab:etal:04,
  author =       "Malik Ghallab and Dana Nau and Paolo Traverso",
  title =        "Automated Planning: {Theory} and Practice",
  publisher =    "Morgan Kaufmann",
  year =         2004
}

@article{Chesnevar:AIF2006,
author={C. Ches{\~n}evar and J. McGinnis and  S. Modgil and
        I. Rahwan and C. Reed and G. Simari and M. South and G. Vreeswijk and S. Wilmott},
title={{T}owards an {A}rgument {I}nterchange {F}ormat},
journal={The Knowledge Engineering Review},
volume = 21,
number = 4,
pages = "293-316",
publisher="Cambridge University Press",
year={2006}}

@inproceedings{Hunter:Approximate2007,
 author = {Hunter, Anthony},
 title = {Real Arguments Are Approximate Arguments},
 booktitle = {Proceedings of the 22Nd National Conference on Artificial Intelligence - Volume 1},
 series = {AAAI'07},
 year = {2007},
 isbn = {978-1-57735-323-2},
 location = {Vancouver, British Columbia, Canada},
 pages = {66--71},
 numpages = {6},
 url = {http://dl.acm.org/citation.cfm?id=1619645.1619657},
 acmid = {1619657},
 publisher = {AAAI Press},
}

@article{Mailly:Enthymemes16,
  author    = {Jean{-}Guy Mailly},
  title     = {Using Enthymemes to Fill the Gap between Logical Argumentation and
               Revision of Abstract Argumentation Frameworks},
  journal   = {CoRR},
  volume    = {abs/1603.08789},
  year      = {2016},
  url       = {http://arxiv.org/abs/1603.08789},
  timestamp = {Sat, 02 Apr 2016 11:49:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/Mailly16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@online{visjs:on,
  label = {VJS},
  title = {\texttt{vis.js} - A dynamic, browser based visualization library},
  url = {http://visjs.org},
  urldate = {2017-06-04}}
  
@article{BGHMPST:StructuredArgumentation2014,
author = {Philippe Besnard and Alejandro Garcia and Anthony Hunter and Sanjay Modgil and Henry Prakken and Guillermo Simari and Francesca Toni},
title = {Introduction to structured argumentation},
journal = {Argument \& Computation},
volume = {5},
number = {1},
pages = {1-4},
year = {2014},
doi = {10.1080/19462166.2013.869764},
url = {http://dx.doi.org/10.1080/19462166.2013.869764},
eprint = {http://dx.doi.org/10.1080/19462166.2013.869764}}


@book{Blackburn:ModalLogic2001,
 author = {Blackburn, Patrick and de Rijke, Maarten and Venema, Yde},
 title = {Modal Logic},
 year = {2001},
 isbn = {0-521-80200-8},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@article{Nilsson:ProbLog1986,
 author = {Nilsson, Nils J.},
 title = {Probabilistic Logic},
 journal = {Artif. Intell.},
 issue_date = {Feb. 1986},
 volume = {28},
 number = {1},
 month = feb,
 year = {1986},
 issn = {0004-3702},
 pages = {71--88},
 numpages = {18},
 url = {http://dx.doi.org/10.1016/0004-3702(86)90031-7},
 doi = {10.1016/0004-3702(86)90031-7},
 acmid = {5450},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
}

@Inbook{Burgess:TenseLogic1984,
author="Burgess, John P.",
editor="Gabbay, D.
and Guenthner, F.",
title="Basic Tense Logic",
bookTitle="Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic",
year="1984",
publisher="Springer Netherlands",
address="Dordrecht",
pages="89--133",
isbn="978-94-009-6259-0",
doi="10.1007/978-94-009-6259-0_2",
url="http://dx.doi.org/10.1007/978-94-009-6259-0_2"
}


@Inbook{Dunn:Relevance2002,
author="Dunn, J. Michael
and Restall, Greg",
editor="Gabbay, Dov M.
and Guenthner, F.",
title="Relevance Logic",
bookTitle="Handbook of Philosophical Logic",
year="2002",
publisher="Springer Netherlands",
address="Dordrecht",
pages="1--128",
isbn="978-94-017-0460-1",
doi="10.1007/978-94-017-0460-1_1",
url="http://dx.doi.org/10.1007/978-94-017-0460-1_1"
}


@Inbook{Hansson:PreferenceLogic2002,
author="Hansson, Sven Ove",
editor="Gabbay, D. M.
and Guenthner, F.",
title="Preference Logic",
bookTitle="Handbook of Philosophical Logic",
year="2002",
publisher="Springer Netherlands",
address="Dordrecht",
pages="319--393",
isbn="978-94-017-0456-4",
doi="10.1007/978-94-017-0456-4_4",
url="http://dx.doi.org/10.1007/978-94-017-0456-4_4"
}

@article{MP:ASPIC2014,
author = {Sanjay Modgil and Henry Prakken},
title = {The ASPIC+ framework for structured argumentation: a tutorial},
journal = {Argument \& Computation},
volume = {5},
number = {1},
pages = {31-62},
year = {2014},
doi = {10.1080/19462166.2013.869766},

URL = {
        http://dx.doi.org/10.1080/19462166.2013.869766

},
eprint = {
        http://dx.doi.org/10.1080/19462166.2013.869766

}
}

@article{CravenToni:AGs+ABA2016,
 title = {Argument Graphs and Assumption-based Argumentation},
 journal = {Artif. Intell.},
 author = {Robert Craven and Francesca Toni},
 issue_date = {April 2016},
 volume = {233},
 number = {C},
 month = apr,
 year = {2016},
 issn = {0004-3702},
 pages = {1--59},
 numpages = {59},
 url = {http://dx.doi.org/10.1016/j.artint.2015.12.004},
 doi = {10.1016/j.artint.2015.12.004},
 acmid = {2895513},
 publisher = {Elsevier Science Publishers Ltd.},
 address = {Essex, UK},
key = {{$\!\!$}} ,
}

@article{GS:DeLP2014,
author = {Alejandro J. García and Guillermo R. Simari},
title = {Defeasible logic programming: DeLP-servers, contextual queries, and explanations for answers},
journal = {Argument \& Computation},
volume = {5},
number = {1},
pages = {63-88},
year = {2014},
doi = {10.1080/19462166.2013.869767},

URL = {
        http://dx.doi.org/10.1080/19462166.2013.869767

},
eprint = {
        http://dx.doi.org/10.1080/19462166.2013.869767

}
}

@inproceedings{SR:TOAST2012,
  title={TOAST: Online ASPIC+ implementation},
  author={Mark Snaith and Chris Reed},
  booktitle={COMMA},
  year={2012}
}


@article{Janjua:2015,
author = {Janjua, Naeem Khalid and Hussain, Omar Khadeer and Hussain, Farookh Khadeer and Chang, Elizabeth},
title = {Philosophical and Logic-Based Argumentation-Driven Reasoning Approaches and their Realization on the WWW: A Survey},
volume = {58},
number = {9},
pages = {1967-1999},
year = {2015},
doi = {10.1093/comjnl/bxu057},
URL = {http://comjnl.oxfordjournals.org/content/58/9/1967.abstract},
eprint = {http://comjnl.oxfordjournals.org/content/58/9/1967.full.pdf+html},
journal = {The Computer Journal}
}

@article{CKPSV:ModalLogics2009,
author = {Cirstea, Corina and Kurz, Alexander and Pattinson, Dirk and Schr{\"o}der, Lutz and Venema, Yde},
title = {Modal Logics are Coalgebraic},
year = {2009},
doi = {10.1093/comjnl/bxp004},
abstract ={Applications of modal logics are abundant in computer science, and a large number of structurally different modal logics have been successfully employed in a diverse spectrum of application contexts. Coalgebraic semantics, on the other hand, provides a uniform and encompassing view on the large variety of specific logics used in particular domains. The coalgebraic approach is generic and compositional: tools and techniques simultaneously apply to a large class of application areas and can, moreover, be combined in a modular way. In particular, this facilitates a pick-and-choose approach to domain-specific formalisms, applicable across the entire scope of application areas, leading to generic software tools that are easier to design, to implement and to maintain. This paper substantiates the authors’ firm belief that the systematic exploitation of the coalgebraic nature of modal logic will not only have impact on the field of modal logic itself but also lead to significant progress in a number of areas within computer science, such as knowledge representation and concurrency/mobility.},
URL = {http://comjnl.oxfordjournals.org/content/early/2009/02/21/comjnl.bxp004.abstract},
eprint = {http://comjnl.oxfordjournals.org/content/early/2009/02/21/comjnl.bxp004.full.pdf+html},
journal = {The Computer Journal}
}

@online{SoftwareHeritage:on,
  label = {SH},
  title = {Software Heritage},
  url = {https://www.softwareheritage.org/},
  urldate = {2017-04-07}}

@book{Brachman:krr04,
  Title =	 {{Knowledge Representation and Reasoning}},
  Author =	 {R.J. Brachman and H.J. Levesque},
  Year =	 {2004},
  Publisher =	 {Morgan Kaufmann}
}

@book{Besnard:2008,
  Author =	 {Philippe Besnard and Anthony Hunter},
  Publisher =	 {MIT Press},
  Title =	 {Elements of Argumentation},
  Year =	 {2008}
}

@inProceedings{BesHun:pfa05,
  title = {Practical First-order Argumenation},
  author = {Philippe Besnard and Anthony Hunter},
  crossref = {AAAI05},
  pages = {590--595}}

@inProceedings{BesHun:kcela06,
  title = {Knowledgebase compilation for efficient logical argumentation},
  author =	 {Philippe Besnard and Anthony Hunter},
  crossref = {DBLP:conf/kr/2006},
  pages = {123--133}}

@article{Dung:1995,
  Author =	 {P.M. Dung},
  Journal =	 {Artificial Intelligence},
  Number =	 {2},
  Pages =	 {321-358},
  Title =	 {On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games},
  Volume =	 {77},
  Year =	 {1995}
}


@online{SageMath:on,crossref={SageMath:base},
  label = {Sage},
  urldate = {2016-09-30}}  
@misc{sagemath,crossref={SageMath:base},
  key          = {SageMath},
  howpublished = {\url{http://www.sagemath.org}},
  note         = {[Online; accessed 30 August 2016]}}
@misc{SageMath:base,
  author       = {The Sage Developers},
  title        = {{S}ageMath, the {S}age {M}athematics {S}oftware {S}ystem},
  url = {http://www.sagemath.org}
}

@online{OpenAxiom:on,crossref={OpenAxiom:base},
  label = {OA},
  urldate = {2017-05-22}}  
@misc{OpenAxiom:URL,crossref={OpenAxiom:base},
  key          = {OA},
  howpublished = {\url{http://www.open-axiom.org}},
  note         = {[Online; accessed 22 Mai 2017]}}
@misc{OpenAxiom:base,
  title        = {{OpenAxiom}: The Open Scientific Computation Platform},
  url = {http://www.open-axiom.org}
}

@online{lmfdb:on,crossref={lmfdb:base},urldate={2016-02-1},
  label = {LMFDB},
  url = {http://www.lmfdb.org}}
@misc{lmfdb,crossref={lmfdb:base},
  howpublished = {\url{http://www.lmfdb.org}},
  note         = {[Online; accessed 27 August 2016]}}
@misc{lmfdb:base,
  key    = {LMFDB},
  author       = {The {LMFDB Collaboration}},
  title        =  {The L-functions and Modular Forms Database}}

@misc{findstat,
  key    = {FindStat},
  title       = {FindStat: {T}he {C}ombinatorial {S}tatistic Finder},
  author        =  {C. Berg and C. Stump and al.},
  howpublished = {\url{http://www.FindStat.org}},
  year         = {2014},
  note         = {[Online; accessed 31 August 2016]}
}

@inProceedings{BZ:SOBOLEO10,
  author =       {Simone Braun and Valentin Zacharias},
  title =        {{SOBOLEO} -- A Repository for Living Ontologies},
  crossref =     {ORES2010}}

@online{GAP:on,crossref={GAP:base},
  label = {GAP},
  urldate         = {2016-08-30}}
@misc{gap,crossref={GAP:base},
  key         = {GAP},
  howpublished = {\url{http://www.gap-system.org}},
  note         = {[Online; accessed 30 August 2016]},
  year         = {2016}}
@misc{GAP:base,
  author      = {The GAP~Group},
  url = {http://www.gap-system.org},
  title        = "{GAP -- Groups, Algorithms, and Programming}"
}

@misc{mathematica11,
  title = {Wolfram Mathematica 11},
  author = {{Wolfram Research Inc.}},
  year = {2017},
  url = {https://www.wolfram.com/mathematica/}
}

@inproceedings{ColtonBW00,
  author    = {Simon Colton and
               Alan Bundy and
               Toby Walsh},
  title     = {Automatic Invention of Integer Sequences},
  booktitle = {{AAAI/IAAI}},
  pages     = {558--563},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2000}
}

@inproceedings{GuiSac:srmk15,
  author    = {Ferruccio Guidi and
               Claudio Sacerdoti Coen},
  title     = {A Survey on Retrieval of Mathematical Knowledge},
  pages     = {296--315},
  crossref = {CICM15},
  doi       = {10.1007/978-3-319-20615-8_20}}


@article{Arcavi:rvrlm03,
  journal = {Educational Studies in Mathematics},
  year = {2003},
  volume  = {52},
  number = {3},
  pages = {215--241},
  title = {The role of visual representations in the learning of mathematics},
  author = {Abraham Arcavi}}

@inproceedings{Hellstrom:esavf14,
  author = {Lars Hellstr{\"o}m},
  title = {The eval symbol for axiomatising variadic functions},
  url = {http://ceur-ws.org/Vol-1186/paper-11.pdf},
  crossref = {CICM-WS-WiP2014}}

@TechReport{ChaYeu:mers99,
  author = 	 {Kam-Fai Chan and Dit-Yan Yeung},
  title = 	 {Mathematical Expression Recognition: A Survey},
  institution =  {The Hong Kong University of Science \& Technology},
  year = 	 {1999},
  type = 	 {Technical Report},
  number = 	 {HKUST-CS99-04}}

@inproceedings{KamTom:rdmc13,
 author = {Kamali, Shahab and Tompa, Frank Wm.},
 title = {Retrieving Documents with Mathematical Content},
 pages = {353--362},
 crossref = {SIGIR13},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/2484028.2484083},
 doi = {10.1145/2484028.2484083}
}

@article{ZanBlo:rrme12,
 author = {Zanibbi, Richard and Blostein, Dorothea},
 title = {Recognition and Retrieval of Mathematical Expressions},
 journal = {International Jorunal Document Analysis and Recognition},
 volume = {15},
 number = {4},
 month = dec,
 year = {2012},
 issn = {1433-2833},
 pages = {331--357},
 url = {http://dx.doi.org/10.1007/s10032-011-0174-4},
 doi = {10.1007/s10032-011-0174-4},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg}}

@article{Zyda:fvslvrg,
	author={M. Zyda},
	journal={Computer},
	title={From visual simulation to virtual reality to games},
	year={2005},
	volume={38},
	number={9},
	pages={25-32},
	abstract={During the past decades, the virtual reality community has based its development on a synthesis of earlier work in interactive 3D graphics, user interfaces, and visual simulation. Currently, the VR field is transitioning into work influenced by video games. Because much of the research and development being conducted in the games community parallels the VR community's efforts, it has the potential to affect a greater audience. Given these trends, VR researchers who want their work to remain relevant must realign to focus on game research and development. Leveraging technology from the visual simulation and virtual reality communities, serious games provide a delivery system for organizational video game instruction and training.},
	keywords={computer games;organisational aspects;virtual reality;entertainment;organizational video game instruction;research & development;serious game;training;virtual reality;visual simulation;Art;Buildings;Computer aided instruction;Games;Government;Humans;Industrial training;Research and development;Toy industry;Virtual reality;3D graphics;America’s Army project;entertainment computing;serious games;video games;virtual reality},
	doi={10.1109/MC.2005.297},
	ISSN={0018-9162},
	month={Sept},
}

@InCollection{YanKpaRon:ssfet08,
  author = 	 {Mingqiang Yang and Kidiyo Kpalma and Joseph Ronsin},
  title = 	 {A Survey of Shape Feature Extraction Techniques},
  booktitle = 	 {Pattern Recognition},
  publisher = {IN-TECH},
  year = 	 2008,
  editor = 	 {Peng-Yeng Yin},
  pages = 	 {43--90}}

@inproceedings{AlvZan:sbldc13,
 author = {Alvaro, Francisco and Zanibbi, Richard},
 title = {A Shape-based Layout Descriptor for Classifying Spatial Relationships in Handwritten Math},
 crossref= {DOCENG13},
 pages = {123--126},
 numpages = {4},
 url = {http://doi.acm.org/10.1145/2494266.2494315},
 doi = {10.1145/2494266.2494315},
 publisher = {ACM}
}

@book{ChaStr:pg14,
  title = {Pro {Git}},
  edition= {2nd Edition},
  year = {2014},
  author = {Scott Chacon and Ben Straub},
  isbn = {978-1484200773},
  url = {https://git-scm.com/book/en/v2},
  publisher = {APress}}

@Article{zbMATH06165381,
    Author = "Thierry {Bouche} and Olaf {Teschke} and Krzy{\'s} {Wojciechowski}",
    Title = "Time lag in mathematical references",
    Journal = "{European Mathematical Society Newsletter}",
    ISSN = "1027-488X",
    Volume = "86",
    Pages = "54--55",
    Year = "2012"}

@online{SCLWorkshop16,
 title = {Semantic Representation of Mathematical Knowledge Workshop},
 url = {https://www.fields.utoronto.ca/programs/scientific/15-16/semantic/},
 date = {February 3-5, 2016},
 institution =  {Fields Institute, Toronto, Ontario}}

@online{Zyga:mfnsp16,
  author = {Lisa Zyga},
  note = {Online article at \url{http://phys.org}},
  title = {Mathematician finds his 'new' solution to {Poisson} formula problem buried in 1959 paper},
  url = {http://phys.org/news/2016-03-mathematician-solution-poisson-formula-problem.html},
  date = {2016}}

@online{EPUB-contentdocs:on,crossref={EPUB.-contentdocs:base},
  urldate = {2016-03-29}}
@misc{EPUB-contentdocs:URL,crossref={EPUB-contentdocs:base},
  howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-contentdocs.html}}}
@misc{EPUB-contentdocs:base,
  title = {EPUB Content Documents 3.0.1},
  url = {http://www.idpf.org/epub/301/spec/epub-contentdocs.html},
  author = {Markus Gylling and William McCoy and Dave Cramer and Elika J. Etemad},
  institution = {International Digital Publishing Forum (IDPF)}}

@online{EPUB-publications:on,crossref={EPUB-publications:base},
  urldate = {2016-03-29}}
@misc{EPUB-publications:URL,crossref={EPUB-publications:base},
  howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-publications.html}}}
@misc{EPUB-publications:base,
  title = {EPUB Publications 3.0.1},
  url = {http://www.idpf.org/epub/301/spec/epub-publications.html},
  author = {Markus Gylling and William McCoy and Matt Garrish},
  institution = {International Digital Publishing Forum (IDPF)},
  urldate = {2016-03-29}}

@online{OCF:on,crossref={OCF:base},
  urldate = {2016-03-29}}
@misc{OCF:URL,crossref={OCF:base},
  howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-ocf.html}}}
@misc{OCF:base,
  title = {EPUB Open Container Format (OCF) 3.0.1},
  url = {http://www.idpf.org/epub/301/spec/epub-ocf.html},
  author = {James Pritchett and Markus Gylling},
  institution = {International Digital Publishing Forum (IDPF)},
  urldate = {2016-03-29}}

@online{EPUB-mediaoverlays:on,crossref={EPUB-mediaoverlays:base},
  urldate = {2016-03-29}}
@misc{EPUB-mediaoverlays:URL,crossref={EPUB-mediaoverlays:base},
  howpublished = {\url{http://www.idpf.org/epub/301/spec/epub-mediaoverlays.html}}}
@misc{EPUB-mediaoverlays:base,
  title = {EPUB Media Overlays 3.0.1},
  url = {http://www.idpf.org/epub/301/spec/epub-mediaoverlays.html},
  author = {Marisa DeMeglio and Daniel Weck},
  institution = {International Digital Publishing Forum (IDPF)},
  urldate = {2016-03-29}}

@online{opendefinition.org,
  url = {http://opendefinition.org},
  label = {OD},
  title = {The Open Definition},
  urldate = {2016-01-11}}

@misc{Gutenberg:url,crossref={Gutenberg:base},
  key = {GO},
  howpublished = {Project page at \url{https://www.gutenberg.org}},
  note = {accessed 1. 3. 2016}}
@online{Gutenberg:online,crossref={Gutenberg:base},
  urldate = {2016-03-01},
  label={GO}}
@misc{Gutenberg:base,
  title = {Project Gutenberg},
  url = {https://www.gutenberg.org}}


@Misc{Morzycki:modificationbook,
    author = {Marcin Morzycki},
    year = 2014,
    chapter = {The Lexical Semantics of Adjectives: More Than Just Scales},
    title = {Modification},
    booktitle = {Modification},
    note = {Book manuscript. In preparation for the Cambridge University Press series \emph{Key Topics in Semantics and Pragmatics}.},
    url = {http://msu.edu/~morzycki/work/book}}

@article{Cantor:bbtm95,
author = {Cantor, Georg},
year ={1895},
title = {Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre (1)},
journal = {Mathematische Annalen},
volume = {46},
pages = {481--512},
doi = {10.1007/bf02124929}}

@article{Cantor:bbtm97,
author = {Cantor, Georg},
year ={1897},
title = {Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre (2)},
journal = {Mathematische Annalen},
volume = {49},
pages = {207--246},
doi = {doi:10.1007/bf01444205}}

@book{DoxPapPap:lest09,
  title={Logicomix: An Epic Search for Truth},
  author={Doxiad{\=e}s, A.K. and Papadimitriou, C.H. and Papadatos, A. and Di Donna, A.},
  isbn={9780747597209},
  year = {2009},
  publisher={Bloomsbury}
}

@book{Hofstadter:GEB79,