THE COVERING PROBLEM. - PLACE, THOMAS; ZEITOUN, MARC (Logical Methods in Computer Science (LMCS), 2018)