The Complexity and Decidability of Separation.

Bernard Chazelle, Thomas Ottmann, Eljas Soisalon-Soininen, Derick Wood

Browse the full ICALP paper archive.