@article {RP-92-31,
	title = {A polynomial-time algorithm to decide liveness of bounded free choice nets},
	journal = {Theoretical Computer Science},
	year = {1992},
	pages = {185-205},
	author = {J. Esparza and M. Silva}
}

