@inproceedings {6661,
	title = {Incrementalizing Lattice-Based Program Analyses in Datalog},
	booktitle = {Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018)},
	year = {2018},
	month = {11/2018},
	publisher = {ACM},
	organization = {ACM},
	address = {Boston, MA, USA},
	author = {Tam{\'a}s Szab{\'o} and G{\'a}bor Bergmann and Sebastian Erdweg and Markus V{\"o}lter}
}
