Gill Barequet, Mira Shalah. Automatic Proofs for Formulae Enumerating Proper Polycubes. In Lars Arge, János Pach, editors, 31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands. Volume 34 of LIPIcs, pages 19-22, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]
Abstract is missing.