RTL and Refutation by Positive Cycles.

Farn Wang, Aloysius K. Mok

Browse the full FM paper archive.