Login / Signup

Level-ordered Q-resolution and tree-like Q-resolution are incomparable.

Meena MahajanAnil Shukla
Published in: Inf. Process. Lett. (2016)
Keyphrases