Answering Atomic Queries in Indefinite Deductive Databases. - Lozinskii, Eliezer L. (International Journal of Intelligent Systems, 1989)