Michael Kifer, V. S. Subrahmanian
On the Expressive Power of Annotated Logic Programs
ICLP, 1989.
@inproceedings{NACLP-1989-KiferS,
author = "Michael Kifer and V. S. Subrahmanian",
booktitle = "{Proceedings of the North American Conference on Logic Programming, 2 Volumes}",
isbn = "0-262-62064-2",
pages = "1069--1089",
publisher = "{MIT Press}",
title = "{On the Expressive Power of Annotated Logic Programs}",
year = 1989,
}