TY  - RPRT
TI  - Minimisation in Logical Form
AU  - Nick Bezhanishvili
AU  - Marcello Bonsangue
AU  - Helle Hvid Hansen
AU  - Dexter Kozen
AU  - Clemens Kupke
AU  - Prakash Panangaden
AU  - Alexandra Silva
PY  - 2020
UR  - https://arxiv.org/abs/2005.11551
ID  - 2005.11551
ER  -