Cycle Unification.

Wolfgang Bibel Steffen Hölldobler Jörg Würtz

Published in: CADE (1992)

Keyphrases

higher order
theorem prover
search algorithm
prior knowledge
special case
social media
automated theorem proving