Jørgen Fischer Nilsson. A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators. In SCAI. pages 37-48, 1989.
@inproceedings{Nilsson89:2, title = {A Case Study in Knowledge Representation and Reasoning with Higher-Order Combinators}, author = {Jørgen Fischer Nilsson}, year = {1989}, tags = {case study}, researchr = {https://researchr.org/publication/Nilsson89%3A2}, cites = {0}, citedby = {0}, pages = {37-48}, booktitle = {SCAI}, }