Export: Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses
Bueno Carrillo, Francisco 
ORCID: https://orcid.org/0000-0002-5460-5537, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X and López García, Pedro
(2010).
Automatic Inference of Determinacy and Mutual Exclusion
for Logic Programs Using Mode and Type Analyses.
"New generation computing", v. 28
(n. 2);
pp. 117-206.
ISSN 0288-3635.
https://doi.org/10.1007/s00354-008-0085-1.
Please select an output format:
