Prefixed resolution: a resolution method for modal and description logics

Areces, C., de Nivelle, H., and de Rijke, M.. Prefixed resolution: a resolution method for modal and description logics. In Automated deduction --- CADE-16 (Trento, 1999), pp. 187–201, Springer, Berlin, Germany, 1999.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{arec:pref99,
  author = {Areces, C. and de Nivelle, H. and de Rijke, M.},
  title = {Prefixed resolution: a resolution method for modal and description
	logics},
  booktitle = {Automated deduction --- CADE-16 (Trento, 1999)},
  year = {1999},
  pages = {187--201},
  address = {Berlin, Germany},
  publisher = {Springer},
}

Generated by bib2html.pl (written by Patrick Riley) on Sun Oct 02, 2016 17:05:49