Beate Bollig. On Symbolic Representations of Maximum Matchings and (Un)directed Graphs. In Cristian S. Calude, Vladimiro Sassone, editors, Theoretical Computer Science - 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings. Volume 323 of IFIP, pages 286-300, Springer, 2010. [doi]
Abstract is missing.