Vol-4240⫷ Vol-4241 ⫸Vol-4242
urn:nbn:de:0074-4241-0


Vol-4241/paper5⫷Vol-4241/short3⫸Vol-4241/short4
Mikoláš JanotaMichael RawsonStephan Schulz

Case Study: Saturations as Explicit Models in Equational Theories