Citation Impact

Citing Papers

MulVAL: a logic-based network security analyzer
2005 Standout
Complexity and expressive power of logic programming
2001

Works of Alexander Leitsch being referenced

On the efficiency of subsumption algorithms
1985
Rankless by CCL
2026