Efficient Coalgebraic Partition Refinement | Read Paper on Bytez