Symbolic Reachability Analysis for Rewrite Theories.

Camilo Rocha, Ph.D. Dissertation. Urbana, October, 2012.
  
Related downloads: