@inproceedings{FLOPS-1998-CurienH,
	author        = "Pierre-Louis Curien and Hugo Herbelin",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "20--39",
	title         = "{Computing with Abstract Böhm Trees}",
	year          = 1998,
}