## Finding Equivalent Rewritings with Exact Views

- Michael Compton
- 2009 IEEE 25th International Conference on Data…
- 2009

In this paper, we investigate condensation of a clause. First, we extend a substitution graph introduced by Scheffer et al. (1996) to a total matcher graph. Then, we give a correct proof of the relationship between subsumption and the existence of cliques in a total matcher graph. Next, we introduce the concept of width of a clique in a total matcher graph… (More)

### Presentations referencing similar topics