OLD Resolution with Tabulation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Hisao Tamaki, Taisuke Sato
OLD Resolution with Tabulation
ICLP, 1986.

ICLP 1986
Full names Links ISxN
	author        = "Hisao Tamaki and Taisuke Sato",
	booktitle     = "{Proceedings of the Third International Conference on Logic Programming}",
	doi           = "10.1007/3-540-16492-8_66",
	isbn          = "3-540-16492-8",
	pages         = "84--98",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{OLD Resolution with Tabulation}",
	volume        = 225,
	year          = 1986,

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.