OrDB
ModelDB
Model Database
Home
Data
Search
Schema
Manage
Log in
Paper (s)
having
Halpern J
as
Authors
Name
1
Fagin R, Halpern J, Moses Y, Vardi M (1995)