阿什温·巴斯卡;M·普拉文。 约束LTL的可实现性问题。 （英语） Zbl 07790920号 Inf.计算。 296，文章ID 105126，25 p.（2024）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Bhaskar}和\textit{M.Praveen}，Inf.Comput。296，文章ID 105126，25 p.（2024；Zbl 07790920） 全文： 内政部 arXiv公司
亚历山大·拉比诺维奇 用一元谓词展开\（（\mathbb{N}，<）\）的Church问题。 （英语） Zbl 1285.03005号 Inf.计算。 218, 1-16 (2012). 审核人：Mihai Prunescu（布加勒斯特） MSC公司：03B25号 03B15号机组 03C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，Inf.计算。218，1--16（2012；Zbl 1285.03005） 全文： 内政部
亚历山大·拉比诺维奇 教会问题的决定性延伸。 （英语） Zbl 1257.03034号 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。计算机科学课堂讲稿5771，424-439（2009）。MSC公司：03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}，莱克特。注释计算。科学。5771、424--439（2009年；Zbl 1257.03034） 全文： 内政部