Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions.

Artiom Alhazov Marion Oswald Rudolf Freund Sergey Verlan Partial Halting and Minimal Parallelism Based on Arbitrary Rule Partitions. 17-34 2009 91 Fundam. Inform. 1 http://dx.doi.org/10.3233/FI-2009-0031 db/journals/fuin/fuin91.html#AlhazovOFV09