Deciding the entailment of Dedekind cubes

This document contains no images.