DMCA

E-connections of abstract description systems (2003)

by Oliver Kutz , Carsten Lutz , Frank Wolter , Michael Zakharyaschev
Citations:125 - 34 self