Bernhard Gramlich
-
A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction