速的查明可满足性(英语:satisfiability),这意味着行动语言也可以受用它。 Michael Gelfond, Vladimir Lifschitz (1998) "Action Languages (页面存档备份,存于互联网档案馆)", Linköping Electronic Articles
Principles of Knowledge Representation and Reasoning (KR'98): 406-417 V. Lifschitz (2002). Answer set programming and plan generation. Artificial Intelligence
Министерство пищевой промышленности СССР. 1955. [P. V. Abaturov; et al. M. O. Lifschitz , 编. Cookery. Moscow: Gostorgizdat, USSR Ministry of Food Industry. 1955