co-author : Giovanni Siragusa

1 journal | series with Roberta Calegari
book Journal of Logic and Computation (JLC)