Filipe, P. ; Marcelino, S. ; Caleiro, C.
Journal of Logic and Computation Vol. 32, Nº 8, pp. 1694 - 1719, November, 2022.
ISSN (print): 0955-792X
ISSN (online): 1465-363X
Scimago Journal Ranking: 0,56 (in 2022)
Digital Object Identifier: 10.1093/logcom/exac073
Download Full text PDF ( 456 KBs)
Downloaded 1 time
