@inproceedings{madsen2016pldi,
    title       = {{From Datalog to Flix: A Declarative Language for Fixed Points on Lattices}},
    author      = {Madsen, Magnus and Yee, Ming-Ho and Lhot{\'a}k, Ond{\v{r}}ej},
    booktitle   = {Programming Language Design and Implementation (PLDI)},
    year        = {2016},
}