Login / Signup

A geometric interpretation of LD-resolution.

Robin N. BanerjeeAndrés Bujosa
Published in: Theor. Comput. Sci. (2004)
Keyphrases