Reference:
Hans-Peter Deifel, Stefan Milius and Thorsten Wißmann: Coalgebra Encoding for Efficient Minimization, In Naoki Kobayashi, ed.: Proc. 6th International Conference on Formal Structures for Computation and Deduction (FSCD), LIPIcs, vol. 195, pp. 28:1–28:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021.
Bibtex Entry:
@string{lipics="LIPIcs"}
@string{dagstuhl="Schloss Dagstuhl – Leibniz-Zentrum für Informatik"}
@InProceedings{dmw21,
author = {Deifel, Hans-Peter and Milius, Stefan and Wi{\ss}mann, Thorsten},
title = {Coalgebra Encoding for Efficient Minimization},
OPTcrossref = {},
OPTkey = {},
booktitle = {Proc.~6th International Conference on Formal Structures for Computation and Deduction (FSCD)},
year = {2021},
editor = {Kobayashi, Naoki},
volume = {195},
OPTnumber = {},
series = lipics,
pages = {28:1--28:19},
OPTmonth = {},
OPTaddress = {},
OPTorganization = {},
publisher = dagstuhl,
OPTnote = {{T}o appear},
OPTannote = {}
}