External Links

    Journal: SIGACT News

    Volume 21, Issue 4

    69 -- 72Luigi Palopoli. A new proof of undecidability of safety of logic queries
    73 -- 77B. Ravikumar. Some applications of a technique of Sakoda and Sipser
    78 -- 81Martin Tompa. Figures of merit: the sequel
    runs on