Transition system speci with negative premises. Theoretical Computer Science 118 (1993)

by J Groote