Sciweavers

AMAI
1999
Springer

Lemma and cut strategies for propositional model elimination

13 years 11 months ago
Lemma and cut strategies for propositional model elimination
Allen Van Gelder, Fumiaki Okushi
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 1999
Where AMAI
Authors Allen Van Gelder, Fumiaki Okushi
Comments (0)