Login / Signup
Assertions and Recursions.
Bernhard Möller
Published in:
HOA (1995)
Keyphrases
</>
knowledge base
data model
transitive closure