Peres, A. ; Ramos, J. ; Dionísio, F.
Journal of Logic and Computation Vol. 0, Nº 0, pp. 1 - 38, June, 2023.
ISSN (print): 0955-792X
ISSN (online): 1465-363X
Scimago Journal Ranking: 0,56 (in 2022)
Digital Object Identifier: 10.1093/logcom/exac042
