2 works on record
Intrusion Detection
Hybrid Parallel Execution Model for Logic-Based Specification Languages