Bollig, 2010. On Symbolic Representations of Maximum Matchings and (Un)directed Graphs, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/978-3-642-15240-5_21