Claus Hintermeier. Redundancy and Saturation. In Robert Nieuwenhuis, Albert Rubio, editors, 9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. pages 28, 1995.
@inproceedings{Hintermeier95,
title = {Redundancy and Saturation},
author = {Claus Hintermeier},
year = {1995},
researchr = {https://researchr.org/publication/Hintermeier95},
cites = {0},
citedby = {0},
pages = {28},
booktitle = {9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995},
editor = {Robert Nieuwenhuis and Albert Rubio},
}