www.prismmodelchecker.org
[Tam93] A. Tamura. Transformation from arbitrary matchings to stable matchings. Journal of Combinatorial Theory (Series A), 62, pages 310-323. 1993.

Publications