斯利瓦斯塔瓦（Siddharth Srivastava）;尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 循环计划的适用条件：可计算性结果和算法。 （英语） Zbl 1270.68277号 Artif公司。智力。 191-192, 1-19 (2012).MSC公司：68T20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人，Artif。智力。191-192，1-19（2012；Zbl 1270.68277） 全文： DOI程序 链接
斯利瓦斯塔瓦（Siddharth Srivastava）;尼尔·伊梅尔曼;什洛莫·齐尔伯斯坦 广义规划的一种新表示和相关算法。 （英语） Zbl 1216.68253号 Artif公司。智力。 175，第2期，615-647（2011）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Srivastava}等人，Artif。智力。175，No.2，615--647（2011；Zbl 1216.68253） 全文： DOI程序
塔尔省列夫·阿米;尼尔·伊梅尔曼;代表，Thomas W。;穆利·萨吉夫;斯利瓦斯塔瓦（Siddharth Srivastava）;格雷塔·约什 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 （英语） Zbl 1163.68010号 日志。方法计算。科学。 5，第2期，论文12，30页（2009年）.MSC公司：68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Lev-Ami}等人，日志。方法计算。科学。5，第2号，论文12，30页（2009年；Zbl 1163.68010） 全文： DOI程序
列夫·阿米，T。;伊梅尔曼，N。;代表，T。;萨吉夫，M。;斯利瓦斯塔瓦，S。;约什，G。 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 （英语） Zbl 1135.68556号 Nieuwenhuis，Robert（编辑），自动扣除-CADE-20。第20届自动扣减国际会议，爱沙尼亚塔林，2005年7月22日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28005-7/pbk）。计算机科学课堂讲稿3632。人工智能课堂讲稿，99-115（2005）。MSC公司：68吨15 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Lev-Ami}等人，Lect。票据计算。科学。3632，99-115（2005年；兹bl 1135.68556） 全文： DOI程序 arXiv公司