CVC4/CVC4 — pull request #4 by tiliang (2013-02-14 22:05:38+00:00)
Title: a bugfix in rewriting rules

...tern