default search action
ask others
download as .bib file
@inproceedings{DBLP:conf/sas/CodishD94, author = {Michael Codish and Bart Demoen}, title = {Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop}, booktitle = {{SAS}}, pages = {281--296}, year = {1994}, url = {https://doi.org/10.1007/3-540-58485-4_47}, doi = {10.1007/3-540-58485-4_47}, timestamp = {Sat, 20 May 2017 15:32:48 +0200}, biburl = {https://dblp.org/rec/bib/conf/sas/CodishD94}, bibsource = {dblp computer science bibliography, https://dblp.org} }