Characterizing Equivalence Notions for Labelling-Based Semantics.

Ringo Baumann

Browse the full KR paper archive.