Login / Signup

Reduction Rules for Resolution-Based Systems.

Norbert EisingerHans Jürgen OhlbachAxel Präcklein
Published in: Artif. Intell. (1991)
Keyphrases