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