Abstract
Pinchinat, S
Pinchinat, S (reprint author), Univ Rennes, Dept Elect Engn & Comp Sci, Rennes, France.
STUDIA LOGICA, 2019; 107 (5): 1083