Citation Impact
Citing Papers
MulVAL: a logic-based network security analyzer
2005 Standout
The Logic of Conventional Implicatures
2004 Standout
Lambda Calculus with Types
2013
Complexity and expressive power of logic programming
2001
Semantic Web services
2001 Standout
ConGolog, a concurrent programming language based on the situation calculus
2000
Works of Daniël Leivant being referenced
Higher order logic
1994
Descriptive characterizations of computational complexity
1989
The Expressiveness of Simple and Second-Order Type Structures
1983
Typing and computational properties of lambda expressions
1986