Hans-Jürgen Bürckert
-
Theorem Proving Modulo
Journal of Automated Reasoning
Resolution and Constraint Propagation for Semantic Web Services Discovery
Distributed and Parallel Databases