@inproceedings{komendantskaya:hal-01446035,
  TITLE = {{Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness}},
  AUTHOR = {Komendantskaya, Ekaterina and Power, John},
  URL = {https://inria.hal.science/hal-01446035},
  BOOKTITLE = {{13th International Workshop on Coalgebraic Methods in Computer Science (CMCS)}},
  ADDRESS = {Eindhoven, Netherlands},
  EDITOR = {Ichiro Hasuo},
  SERIES = {Coalgebraic Methods in Computer Science},
  VOLUME = {LNCS-9608},
  PAGES = {94-113},
  YEAR = {2016},
  MONTH = Apr,
  DOI = {10.1007/978-3-319-40370-0\_7},
  KEYWORDS = {Logic programming ; Coalgebra ; Term-matching resolution ; Coinductive derivation tree ; Lawvere theories ; Lax transformations ; Kan extensions},
  PDF = {https://inria.hal.science/hal-01446035/file/418352_1_En_7_Chapter.pdf},
  HAL_ID = {hal-01446035},
  HAL_VERSION = {v1},
}