Termination Analyser for SCNP (The NP subset of SCT)
Termination analyser for SCNP; Amir Ben-Amram and Michael Codish
Version 1.0