@inproceedings{piwek-2006-alligator,
    title = "The Alligator theorem prover for dependent type systems: Description and proof samples",
    author = "Piwek, Paul",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://preview.aclanthology.org/add-emnlp-2024-awards/W06-3918/"
}