Logic programming research in Oregon | IEEE Conference Publication | IEEE Xplore