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