• Algorithmic verificati...
• Dynamic Linear Time Te...
• Model checking linear ...
• On the computational c...
• Diagnosis of Repeated ...
• On the automatic evolu...
• The Complexity of Gene...
• The complexity of prop...
• Campenhout. Reasoning ...
• An improved on-the-fly...