Ronald Fagin;Yoram Moses;Joseph Y. Halpern;Moshe Y. Vardi
-;-;-;-
Knowledge-based programs
Distributed Computing