共 50 条
- [32] A PROOF OF MARIK,J LEMMA NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 17 (02): : 444 - &
- [34] A SIMPLE PROOF OF VALIANT LEMMA RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1986, 20 (02): : 183 - 190
- [35] A syntactical proof of the Marriage lemma THEORETICAL COMPUTER SCIENCE, 2003, 290 (01) : 1107 - 1113