@INPROCEEDINGS{KlaNieSun-abstraction-mappings,
	AUTHOR = {Klarlund, N. and Nielsen, M. and Sunesen, K.},
	TITLE = {Automated logical verification based on trace
abstraction},
	BOOKTITLE = {Proceedings of PODC '96},
	YEAR = {1996},
}