%% LaTeX2e file `redlog.bib'
%% generated by the `filecontents' environment
%% from source `redlog' on 2019/05/15.
%%
  @article{DolzmannSturm:97a,
    Author = {Dolzmann, Andreas and Sturm, Thomas},
    Journal = {ACM SIGSAM Bulletin},
    Month = Jun,
    Number = {2},
    Pages = {2--9},
    Title = {Redlog: Computer Algebra Meets Computer Logic},
    Volume = {31},
    Year = {1997}}
