sl:arxiv_author : Moshe Vardi