K. Kisyova

发表

Kedar S. Namjoshi, Lenore D. Zuck, Yaniv Sa'ar, 2010, Haifa Verification Conference.