@第{zbMATH00484670条，作者={Gelfond，Michael and Lifschitz，Vladimir}，标题={用逻辑程序表示动作和更改}，FJournal＝{逻辑编程杂志}，日志={J.Log.Program.}，ISSN={0743-1066}，体积={17}，数字={2-4}，页码={301--321}，年份={1993}，语言={英语}，DOI={10.1016/0743-1066（93）90035-F}，关键词={68N17,68T99}，zbMATH={484670}，Zbl={0783.68024}}