共 50 条
- [22] Deciding Functional Lists with Sublist Sets VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2012, 7152 : 66 - +
- [24] Building text sets from the Notable Books for a Global Society lists READING TEACHER, 2003, 57 (04): : 390 - 398
- [27] An ASP System with Functions, Lists, and Sets LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 483 - 489