X-Parsed-By: org.apache.tika.parser.DefaultParser
dc:title: MPI-INF/SWS Research Reports 1991-2013: '97-2-012 (Bachmair, Ganzinger, Voronkov)
Content-Location: http://domino.mpi-inf.mpg.de/internet/reports.nsf/
Content-Encoding: UTF-8
Content-Type-Hint: text/html; charset=UTF-8
title: MPI-INF/SWS Research Reports 1991-2013: '97-2-012 (Bachmair, Ganzinger, Voronkov)
Content-Language: en
Content-Type: text/html; charset=UTF-8