Compositional Reasoning Using the Assumption-Commitment Paradigm | Publicación