SPASS Version 3.5 论文

2009Lecture notes in computer science引用 230
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Database Systems and Queries