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

Publications