Prefixed Resolution: A Resolution Method for Modal and Description Logic

Authors
Publication date 1999
Host editors
  • H. Ganzinger
Book title Automated Deduction-CADE-16
Series LNCS, 1632
Pages (from-to) 187-201
Publisher X: Springer Verlag
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back