出口商：确定性和互斥性的自动推断用于使用模式和类型分析的逻辑程序
布埃诺·卡里略，弗朗西斯科 
ORCID代码：https://orcid.org/0000-0002-5460-5537，曼努埃尔五世（Manuel V.Hermenegildo）。 ORCID代码：https://orcid.org/0000-0002-7583-323X和佩德罗·洛佩斯·加西亚(2010).确定性和互斥性的自动推断用于使用模式和类型分析的逻辑程序.“新一代计算”，v.28（n.2）；第117-206页。ISSN 0288-3635。
https://doi.org/10.1007/s00354-008-0085-1.
Por favor，seleccione un formato de salida公司：
