External Links

    Journal: J. Log. Algebr. Meth. Program.

    runs on