巴托克·克林;Łełyk，马特乌斯 原子的标量和向量演算。 （英语） Zbl 1442.68108号 日志。方法计算。科学。 15，第4号，第5号论文，47页（2019年）.MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{M.eyk}，日志。方法计算。科学。15，第4号，第5号论文，47页（2019年；Zbl 1442.68108） 全文： arXiv公司
巴托克·克林;Łelyk，马特乌斯 模态\（\mu\）-原子演算。 （英语） Zbl 1434.03071号 Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第30条，第21页（2017）。MSC公司：03B45号 03B70型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{M.Łelyk}，LIPIcs——莱布尼茨国际程序。通知。82，第30条，第21页（2017；Zbl 1434.03071） 全文： 内政部