@inproceedings{vmcai13-fractions,
	author    = {Stefan Heule and K. Rustan M. Leino and Peter Müller and Alexander J. Summers},
	title     = {Abstract Read Permissions: Fractional Permissions without the Fractions},
	booktitle = {Verification, Model Checking, and Abstract Interpretation ({VMCAI})},
	pages     = {315--334},
	year      = {2013},
	month     = {January},
	publisher = {Springer Berlin Heidelberg},
	url       = {http://dx.doi.org/10.1007/978-3-642-35873-9_20},
	doi       = {10.1007/978-3-642-35873-9_20},
	biburl    = {https://stefanheule.com/publications/vmcai13-fractions/},
	bibsource = {stefanheule.com, https://stefanheule.com/}
}