Better Bounded Bisimulation Contractions.

Thomas Bolander, Alessandro Burigana

Browse the full AiML paper archive.