Ray Reiter
发表
Ray Reiter,
R. Reiter,
2001,
ACM Trans. Comput. Log..
Fangzhen Lin,
Alon Y. Levy,
Ray Reiter,
1994
.