Hitoshi Furusawa；乔治·斯特鲁斯 缓和多重关系。 （英语） Zbl 1407.03080号 ACM事务处理。计算。日志。 17，第4号，第28条，第34页（2016年）.MSC公司：03G25号 03E20型 07年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth}，ACM Trans。计算。日志。17，第4号，第28条，第34页（2016年；Zbl 1407.03080） 全文： DOI程序 arXiv公司
阿拉斯代尔·阿姆斯特朗；乔治·斯特鲁斯 高阶正则代数中的自动推理。 （英语） Zbl 1364.68326号 Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日，第13届国际会议，RAMiCS 2012，英国剑桥。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，66-81（2012）。MSC公司：68吨15 2015年1月6日 07年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armstrong}和\textit{G.Struth}，莱克特。注释计算。科学。7560、66-81（2012年；Zbl 1364.68326） 全文： DOI程序