Sten-Åke Tärnlund
Logic Programming-From a Logic Point of View
ICLP, 1986.
@inproceedings{SLP-1986-Tarnlund86,
author = "Sten-Åke Tärnlund",
booktitle = "{Proceedings of the Third Symposium on Logic Programming}",
isbn = "0-8186-0728-9",
pages = "96--103",
publisher = "{IEEE-CS}",
title = "{Logic Programming-From a Logic Point of View}",
year = 1986,
}