共 50 条
- [22] STEPS FORWARD AND STEPS BACKWARD, MORE ON CHRETIEN 'LANCELOT' SPECULUM-A JOURNAL OF MEDIEVAL STUDIES, 1989, 64 (02): : 307 - 316
- [26] Solving parity games in big steps FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 449 - 460