Completeness of partial deduction for coverability of Petri nets (0)

by M Leuschel, H Lehmann