Every Logic Program Has a Natural Stratification And an Iterated Least Fixed Point Model. Przymusinski, T C In Proceedings of the 8th ACM Symposium on Principles of Database Systems, pages 11–21, New York, 1989. ACM.
bibtex   
@inproceedings{Przymusinski:89,
	address = {New York},
	title = {Every {Logic} {Program} {Has} a {Natural} {Stratification} {And} an {Iterated} {Least} {Fixed} {Point} {Model}},
	booktitle = {Proceedings of the 8th {ACM} {Symposium} on {Principles} of {Database} {Systems}},
	publisher = {ACM},
	author = {Przymusinski, T C},
	year = {1989},
	pages = {11--21},
}

Downloads: 0