@article{AK06a,
  number="1--2",
  volume="16",
  title="{KAT-ML}: An Interactive Theorem Prover for {K}leene Algebra with Tests",
  author="Kamal Aboul-Hosn and Dexter Kozen",
  pages="9--33",
  year="2006",
  journal="Journal of Applied Non-Classical Logics"
}