Efficient Enumeration of Solutions Produced by Closure Operations.

Arnaud Mary, Yann Strozecki

Browse the full STACS paper archive.