Algebra and Logic

Article
Oitavem,I
THEORETICAL COMPUTER SCIENCE

2022
900

25-34
10.1016/j.tcs.2021.11.016