Make sure naming of subterms is described well
- Describe that
(! t :named
annotations can be used for sharing. - Mention that the namespace is shared with predefined names.
- Give description of the heuristic used by veriT (see PxTP paper)
(! t :named
annotations can be used for sharing.