On safe folding (1992)

by A Bossi, N Cocco, S Etalle
Venue:in Proceedings PLILP ’92