I'm looking for an explanation of the Kameda-Weiner algorithm.
I found the paper "On the State Minimization of Nondeterministic Finite Automata" which, I assume, contains this, though it's unfortunately behind a paywall, and I'm just a hobbyist.
Can someone explain the algorithm, or point me to another source?