Detail

Publication date: 1 de June, 2021

Journal of Logic and Algebraic Programming