Login / Signup
Restart Tableaux with Selection Function.
Christian Pape
Reiner Hähnle
Published in:
Kurt Gödel Colloquium (1997)
Keyphrases
</>
wide range
multi agent
xml documents
special case