Reino Kurki-Suonio. Towards Programming with Knowledge Expressions. In POPL. pages 140-149, 1986.
@inproceedings{Kurki-Suonio86,
title = {Towards Programming with Knowledge Expressions},
author = {Reino Kurki-Suonio},
year = {1986},
tags = {programming},
researchr = {https://researchr.org/publication/Kurki-Suonio86},
cites = {0},
citedby = {0},
pages = {140-149},
booktitle = {POPL},
}