How to Cover without Lifting Relations

by Dirk Pattinson , Luigi Santocanale