Donald Cohen. Automatic Compilation of Logical Specifications into Efficient Programs. In AAAI. pages 21-25, 1986.
@inproceedings{Cohen86:1,
title = {Automatic Compilation of Logical Specifications into Efficient Programs},
author = {Donald Cohen},
year = {1986},
researchr = {https://researchr.org/publication/Cohen86%3A1},
cites = {0},
citedby = {0},
pages = {21-25},
booktitle = {AAAI},
}