M.: Black Box Checking (1999)

by D Peled, M Vardi, Yannakakis
Venue:Proceedings of FORTE/PSTV, Kluwer