A classification of non-liftable orders for resolution

Authors
  • H. de Nivelle
Publication date 1997
Host editors
  • W. McCune
Book title Conference on Automated Deduction 14
Pages (from-to) 336-350
Publisher Berlin: Springer Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back