A necessary and sufficient condition for the liveness of normal nets - Liu, GuanJun.