Capturing Structure with Satisfiability | Publicación