Proving total dual integrality with cross-free families—A general framework
scientific article