Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Alexander Steen, Christoph Benzmüller), In 7th International Conference Non-Classical Logic -- Theory and Applications, Torun, Poland, 2015.
Bibtex Entry:
@inproceedings{C49,
  Author =	 {Alexander Steen and Christoph Benzm{\"u}ller},
  Booktitle =	 {7th International Conference Non-Classical Logic --
                  Theory and Applications, Torun, Poland},
  Keywords =	 {own, Higher Order Logic, Semantic Embedding, Multi Valued
                  Logics, Automated Reasoning},
  Title =	 {Sweet SIXTEEN: Automation via Embedding into
                  Classical Higher-Order Logic},
  Url =		 {http://christoph-benzmueller.de/papers/C49.pdf},
  Year =	 2015,
}
Powered by bibtexbrowser