@@ -32,7 +32,7 @@ Micro-Benchmarks for internal data structures and routines are available in the
## Literature
Coalgebraic Partition refinement:
On coalgebraic partition refinement:
-[Generic Partition Refinement and Weighted Tree Automata](https://link.springer.com/chapter/10.1007/978-3-030-30942-8_18)([Hans-Peter Deifel](https://www8.cs.fau.de/deifel), [Stefan Milius](https://www8.cs.fau.de/milius), [Lutz Schröder](http://www8.informatik.uni-erlangen.de/schroeder/), [Thorsten Wißmann](http://www8.informatik.uni-erlangen.de/thorsten)) In: *Formal Methods – The Next 30 Years*, pp. 280–297 (Best Theory Paper Award) \[[PDF](https://link.springer.com/chapter/10.1007/978-3-030-30942-8_18)\]\[[Preprint PDF](https://arxiv.org/abs/1811.08850)\]\[[DOI: 10.1007/978-3-030-30942-8_18](https://dx.doi.org/10.1007/978-3-030-30942-8_18)\]