Herbrand Constraints in HAL
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
Herbrand Constraints in HAL
LOPSTR, 2004.

PDCL 2004
Full names Links ISxN
	author        = "Bart Demoen and Maria J. García de la Banda and Warwick Harvey and Kim Marriott and David Overton and Peter J. Stuckey",
	booktitle     = "{Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development}",
	doi           = "10.1007/978-3-540-25951-0_15",
	isbn          = "3-540-22152-2",
	pages         = "499--538",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Herbrand Constraints in HAL}",
	volume        = 3049,
	year          = 2004,


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.