J. Jaffar
发表
A. Krall,
F. Pfenning,
J. Moreno-Navarro,
2001
.
Salvador Lucas,
F. Pfenning,
Salvador Lucas,
1998,
J. Funct. Log. Program..