Minimisation in logical form. (English) Zbl 07920676
Palmigiano, Alessandra (ed.) et al., Samson Abramsky on logic and structure in computer science and beyond. Cham: Springer. Outst. Contrib. Log. 25, 89-127 (2023).