Stem millan$ (all stems)
2 papers:
- ICGT-2010-BaldanBCKS #graph grammar #on the
- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars (PB, AB, AC, BK, SS), pp. 91–106.
- TACAS-1996-EsparzaRV #algorithm
- An Improvement of McMillan’s Unfolding Algorithm (JE, SR, WV), pp. 87–106.