A Macii, M Poncino, E Macii, L Benini - Design Automation …, 2000 - computer.org
Frequently when formalising systems that change over time, we must represent statements,
coming from physical constraints or representational issues, stating that exactly n literals (or …