vanheerdt-2017-calf:
  type: article
  title: 'CALF: Categorical Automata Learning Framework'
  author:
  - name: Heerdt
    given-name: Gerco
    prefix: van
  - Sammartino, Matteo
  - Silva, Alexandra
  date: 2017
  page-range: 29:1-29:24
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2017.29
  serial-number:
    doi: 10.4230/LIPICS.CSL.2017.29
  parent:
    type: proceedings
    title: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 82