Algebra and Logic

Article
Bondarko,M;Tabuada,G
DOCUMENTA MATHEMATICA

2017
22
2017
45-66