E-connections of abstract description systems
Oliver Kutz, Carsten Lutz, Frank Wolter, Michael ZakharyaschevVolume:
156
Year:
2004
Language:
english
Pages:
73
DOI:
10.1016/j.artint.2004.02.002
File:
PDF, 718 KB
english, 2004