related documents Algorithms for computing small NFAs Conference Paper On a Mereological System for Relational Software Specifications Conference Paper Reducing NFAs by invariant equivalences Conference Paper