Abstract
Moot, R; Stevens-Guille, SJ
Moot, R (通讯作者),Univ Montpellier, CNRS, LIRMM, Montpellier, France.
JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2022; 31 (1): 35