Prolog in the automation of the semantic component

Gregers Koch. Prolog in the automation of the semantic component. In A. K. Rigler, Daniel C. St. Clair, editors, Proceedings of the 18st SIGCSE Technical Symposium on Computer Science Education, 1987, St. Louis, Missouri, USA, February 19-20, 1987. pages 324-329, ACM, 1987. [doi]

@inproceedings{Koch87:0,
  title = {Prolog in the automation of the semantic component},
  author = {Gregers Koch},
  year = {1987},
  doi = {10.1145/31820.31780},
  url = {http://doi.acm.org/10.1145/31820.31780},
  tags = {Prolog},
  researchr = {https://researchr.org/publication/Koch87%3A0},
  cites = {0},
  citedby = {0},
  pages = {324-329},
  booktitle = {Proceedings of the 18st SIGCSE Technical Symposium on Computer Science Education, 1987, St. Louis, Missouri, USA, February 19-20, 1987},
  editor = {A. K. Rigler and Daniel C. St. Clair},
  publisher = {ACM},
}