Distillation with labelled transition systems.

Geoffrey William Hamilton, Neil D. Jones

Browse the full PEPM paper archive.