"Generalized reasoning scheme for redundancy addition and removal logic ..."

José Alberto Espejo et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics