top

Ordered Resolution with Selection for H(@)

C. Areces and D. Gorín. Ordered Resolution with Selection for H(@). In Proceedings of LPAR 2004, pp. 125–141, Springer, Montevideo, Uruguay, 2005.

Download: [pdf] 

Abstract:

(unavailable)

BibTeX: (download)

@INPROCEEDINGS{areces05:_order_resol_selec_h,
  author = {C. Areces and D. Gor{\'\i}n},
  title = {Ordered Resolution with Selection for H(@)},
  booktitle = {Proceedings of LPAR 2004},
  year = {2005},
  editor = {F. Baader and A. Voronkov},
  volume = {3452},
  series = {LNCS},
  pages = {125-141},
  address = {Montevideo, Uruguay},
  publisher = {Springer},
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Aug 10, 2009 14:52:33