Update citation

Our paper describing this work has now been published ([here](https://doi.org/10.1007/978-3-031-25460-4_30), and our earlier paper [here](https://doi.org/10.15157/diss/021)).  We should update the documentation and citation info to point to these.