Text this: State feedback stabilization of generic logic systems via Ledley antecedence solution.