Olivier Maury
发表
Jean-Louis Lanet,
Lydie du Bousquet,
Olivier Maury,
2010,
Journal of Automated Reasoning.
Lydie du Bousquet,
Olivier Maury,
Yves Ledru,
2004,
FASE.