%0 Conference Paper %1 conf/ppdp/MadsenL18 %A Madsen, Magnus %A Lhoták, Ondrej %B PPDP %D 2018 %E Sabel, David %E Thiemann, Peter %I ACM %K dblp %P 14:1-14:14 %T Implicit Parameters for Logic Programming. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2018.html#MadsenL18

@inproceedings{conf/ppdp/MadsenL18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Madsen, Magnus and Lhoták, Ondrej}, biburl = {https://www.bibsonomy.org/bibtex/2fefbca56cb0f4d317ce8b1444f73fb26/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2018}, editor = {Sabel, David and Thiemann, Peter}, ee = {https://doi.org/10.1145/3236950.3236953}, interhash = {7c8398c1ad18c0eca3614dcdf164afd7}, intrahash = {fefbca56cb0f4d317ce8b1444f73fb26}, keywords = {dblp}, pages = {14:1-14:14}, publisher = {ACM}, timestamp = {2020-03-24T11:40:22.000+0100}, title = {Implicit Parameters for Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2018.html#MadsenL18}, year = 2018 }