Exported entries (BibTeX)

@article { alpuenteHLV04-1761,
	year = {2004},
	title = {Specialization of Functional Logic Programs Based on Needed Narrowing},
	journal = {Theory and Practice of Logic Programming (to appear)},
	author = {M. Alpuente and M. Hanus and S. Lucas and G. Vidal}
}