Unification of Drags.

Jean-Pierre Jouannaud Fernando Orejas

Published in: UNIF (2020)

Keyphrases

higher order
theorem proving
theorem prover
equational theories
databases
database systems
search algorithm
prior knowledge