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.