CADE 2015 in Berlin: A Proposal (bibtex)
by Christoph Benzmüller
Reference:
CADE 2015 in Berlin: A Proposal (Christoph Benzmüller), 2013.
Bibtex Entry:
@unpublished{R54,
  Author =	 {Christoph Benzm{\"u}ller},
  Keywords =	 {own, Automated Reasoning},
  Title =	 {{CADE 2015 in Berlin: A Proposal}},
  Year =	 2013
}