马修·斯宾克斯;翁贝托·里维奇奥;蒂亚戈·纳西门托 相容对合剩余格和Nelson恒等式。 （英语） Zbl 1418.03129号 软计算。 23，第7号，2297-2320（2019）.MSC公司：03B53号 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Spinks}等人，《软计算》。23，第7号，2297-2320（2019；Zbl 1418.03129） 全文： 内政部
马修·斯宾克斯;罗伯特·弗罗夫 具有强否定的次协调构造逻辑是一种无收缩的相关逻辑。 （英语） Zbl 1406.03045号 Czelakowski，Janusz（编辑），Don Pigozzi，关于抽象代数逻辑、泛代数和计算机科学。查姆：施普林格（ISBN 978-3-319-74771-2/hbk；978-3-3169-74772-9/电子书）。《逻辑杰出贡献》16，323-379（2018）。 审核人：托马斯·弗格森（圆石乐队） MSC公司：03B47号 03B53号 03B20型 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Spinks}和\textit{R.Veroff}，Outst。控制日志。16、323--379（2018；Zbl 1406.03045） 全文： 内政部