A Recursion Removal Theorem.

Published in: Refine (1992)

Keyphrases

complex objects
deductive databases
transitive closure
neural network
special case
query answering
datalog programs
von neumann