Anya Helene Bagge. Managing facts and resources with the Pica IDE infrastructure library. Science of Computer Programming, 134:100-111, 2017. [doi]
@article{Bagge17,
title = {Managing facts and resources with the Pica IDE infrastructure library},
author = {Anya Helene Bagge},
year = {2017},
doi = {10.1016/j.scico.2016.09.004},
url = {http://dx.doi.org/10.1016/j.scico.2016.09.004},
researchr = {https://researchr.org/publication/Bagge17},
cites = {0},
citedby = {0},
journal = {Science of Computer Programming},
volume = {134},
pages = {100-111},
}