A note on matchings and separability (Q802467)

It is observed that minimal totally dual integral systems for a class of independence systems are closely related to a type of separability. This observation is used to give a short proof, using Edmond's matching polytope theorem, of a theorem of Cunningham and Marsh which gives a description of the minimal totally dual integral defining system for the matching polytope and also to show the relationship between that result and a theorem of F. R. Giles.