@inproceedings{PPDP-2018-ContrastinOR,
	author        = "Mistral Contrastin and Dominic A. Orchard and Andrew C. Rice",
	booktitle     = "{Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming}",
	doi           = "10.1145/3236950.3236954",
	pages         = "17",
	publisher     = "{ACM}",
	title         = "{Automatic Reordering for Dataflow Safety of Datalog}",
	year          = 2018,
}