Automating Free Logic in HOL, with an Experimental Application in Category Theory (bibtex)
by Christoph Benzmüller, Dana S. Scott
Reference:
Automating Free Logic in HOL, with an Experimental Application in Category Theory (Christoph Benzmüller, Dana S. Scott), In Journal of Automated Reasoning, Springer Netherlands, pp. 1--20, 2019. (Preprint: http://doi.org/10.13140/RG.2.2.11432.83202)
Bibtex Entry:
@article{J40,
  author =	 {Christoph Benzm{\"u}ller and Scott, Dana S.},
  Keywords =	 {own, Automated Reasoning, Free Logic, Higher Order
                  Logic, Category Theory},
  title =	 {Automating Free Logic in {HOL}, with an Experimental
                  Application in Category Theory},
  year =	 2019,
  journal =	 {Journal of Automated Reasoning},
  publisher =    {Springer Netherlands}, 
  doi =		 {10.1007/s10817-018-09507-7},
  Pages =        {1--20},
  Note =	 {Preprint:
                  \url{http://doi.org/10.13140/RG.2.2.11432.83202}},
}