Ordered Resolution with Selection for H(@)

Areces, C. and Gorín, D.. 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{arec:orde05,
  author = {Areces, C. and Gor\'{\i}n, D.},
  title = {Ordered Resolution with Selection for H(@)},
  booktitle = {Proceedings of LPAR 2004},
  year = {2005},
  editor = {Baader, F. and Voronkov, A.},
  volume = {3452},
  series = {LNCS},
  pages = {125--141},
  address = {Montevideo, Uruguay},
  publisher = {Springer},
}