Efficient Reasoning in Regular Boardgames. - Jakub Kowalski; Radoslaw Miernik; Maksymilian Mika; Wojciech Pawlik; Jakub Sutowicz; Marek Szykula; Andrzej Tkaczyk (CoG, 2020)