Source:
LPAR21 - 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; https://hal.science/hal-01408834 ; [Research Report] LJK and LIG. 2016, pp.26
Source:
LPAR21 - 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; https://hal.archives-ouvertes.fr/hal-01408834 ; [Research Report] LJK and LIG. 2016, pp.26
Source:
LPAR21 - 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning ; https://hal.science/hal-01408834 ; [Research Report] LJK and LIG. 2016, pp.26