Joshua Meyers, David I. Spivak, Ryan Wisnesky. Fast Left Kan Extensions Using the Chase. Journal of Automated Reasoning, 66(4):805-844, 2022. [doi]
@article{MeyersSW22,
title = {Fast Left Kan Extensions Using the Chase},
author = {Joshua Meyers and David I. Spivak and Ryan Wisnesky},
year = {2022},
doi = {10.1007/s10817-022-09634-2},
url = {https://doi.org/10.1007/s10817-022-09634-2},
researchr = {https://researchr.org/publication/MeyersSW22},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {66},
number = {4},
pages = {805-844},
}