Hamilton, Geoff W.; Kabir, M.H.
(2008)
It has previously been shown by Turchin in the context of
supercompilation how metasystem transitions can be used in the proof
of universally and existentially quantified conjectures. Positive supercompilation
is a ...