Margreet Kuijper

• First-Order Representations of Linear Systems