Testing computability by width-two OBDDs (0)

by D Ron, G Tsur
Venue:Theoretical Computer Science