马里诺·米库兰 归纳结构演算中模态演算的形式化。 （英语） Zbl 1007.03032号 Inf.计算。 164，第1期，199-231（2001）。MSC公司：03B70号 60年第68季度 03B35型 68吨15 03B45号 03日70 PDF格式BibTeX公司 XML格式引用 \textit{M.Miculan}，信息计算。164，第1号，199--231（2001；Zbl 1007.03032） 全文： 内政部
马里诺·米库兰 形式化归纳结构微积分中\（\mu\）-微积分的惰性替换证明系统。 （英语） Zbl 0939.03024号 Wiedermann，Jiří（编辑）等人，《自动化、语言和编程》。第26届国际学术讨论会，ICALP’99。捷克共和国布拉格，1999年7月11日至15日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1644, 554-564 (1999).MSC公司：03B44号 03B35型 68吨15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Miculan}，莱克特。注释计算。科学。1644、554--564（1999；Zbl 0939.03024）