Vol-777⫷ Vol-778 ⫸Vol-779
urn:nbn:de:0074-778-0


None⫷None⫸None
Rafael PeñalozaStefan Borgwardt

Finite Lattices Do Not Make Reasoning in ALCI Harder