@inproceedings{begier-1982-knowledge,
    title = "Knowledge Representation Method Based on Predicate Calculus in an Intelligent {CAI} System",
    author = "Begier, Barbara",
    booktitle = "{C}oling 1982: Proceedings of the {N}inth {I}nternational {C}onference on {C}omputational {L}inguistics",
    year = "1982",
    url = "https://preview.aclanthology.org/Author-Pages-WenzhengZhang-ZhengyanShi-ShuYang/C82-1003/"
}