Fernando R. Vel'azquez-Quesada

发表

C. Areces, Raul Fervari, Andrés R. Saravia, 2023, Journal of Logic and Computation.

R. Galimullin, Fernando R. Vel'azquez-Quesada, 2023, AAMAS.