@inproceedings{madsen2018implicit, title = {{Implicit Parameters for Logic Programming}}, author = {Madsen, Magnus and Lhot{\'a}k, Ond{\v{r}}ej}, booktitle = {Principles and Practice of Declarative Programming (PPDP)}, year = {2018}, }