Moshe Vardi > coverability | BibSonomy