@inproceedings{PPDP-2000-Li,
	author        = "Xining Li",
	booktitle     = "{Proceedings of the Second International Conference on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/351268.351296",
	pages         = "245--256",
	title         = "{Efficient memory management in a merged heap/stack prolog machine}",
	year          = 2000,
}