特鲁什琴斯基，米罗斯劳 命题理论的约简、可满足关系和逻辑程序语义的推广。 （英语） Zbl 1209.68101号 Artif公司。智力。 174，编号16-17，1285-1306（2010）.MSC公司：68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski}，阿蒂夫。智力。174，编号16--17，1285--1306（2010；Zbl 1209.68101） 全文： 内政部
特鲁什琴斯基，米洛斯奥 命题理论的约简、可满足关系和逻辑程序语义的推广。 （英语） Zbl 1251.68069号 Hill，Patricia M.（编辑）等人，《逻辑编程》。2009年7月14日至17日，在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02845-8/pbk）。计算机科学讲座笔记5649175-189（2009）。MSC公司：68N17号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski}，莱克特。注释计算。科学。56491175-189（2009年；兹比尔1251.68069） 全文： 内政部
特鲁什钦斯基，米罗斯瓦夫;斯特凡·沃尔特兰 逻辑程序相对于支持模型的超等价性。 （英语） Zbl 1165.68349号 安。数学。Artif公司。智力。 53，编号1-4，331-365（2008）.MSC公司：68N17号 68立方英尺 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski}和\textit{S.Woltran}，Ann.数学。Artif公司。智力。53，编号1--4，331--365（2008；Zbl 1165.68349） 全文： 内政部 链接
特鲁什琴斯基，米洛斯奥;斯特凡·沃尔特兰 模块化编程逻辑程序的相对超等价。 （英语） Zbl 1185.68186号 Garcia de la Banda，Maria（编辑）等人，《逻辑编程》。2008年12月9日至13日在意大利乌迪内举行的第24届ICLP国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-89981-5/pbk）。计算机科学课堂讲稿5366576-590（2008）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczyn ski}和\textit{S.Woltran}，莱克托。注释计算。科学。5366、576--590（2008年；Zbl 1185.68186） 全文： 内政部 链接