Automatic generation of formulae for polyominoes with a fixed perimeter defect. - Gill Barequet; Bar Magal (Comput. Geom., 2023)