OrDB
ModelDB
Model Database
Home
Data
Search
Schema
Manage
Log in
Paper (s)
having
Zakharyaschev M
as
Authors
Name
1
Chagrov A, Zakharyaschev M (1997)
2
Gabbay D, Kurucz A, Wolter F, Zakharyaschev M (2003)