Login / Signup

Using Rippling for Equational Reasoning.

Dieter Hutter
Published in: KI (1996)
Keyphrases
  • logic programs