@inproceedings{FASE-2018-TaentzerKPK,
	author        = "Gabriele Taentzer and Timo Kehrer and Christopher Pietsch and Udo Kelter",
	booktitle     = "{Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering}",
	doi           = "10.1007/978-3-319-89363-1_1",
	isbn          = "['978-3-319-89362-4', '978-3-319-89363-1']",
	pages         = "3--20",
	publisher     = "{Springer}",
	title         = "{A Formal Framework for Incremental Model Slicing}",
	year          = 2018,
}