Miyazaki, N., Yokota, H., & Itoh, H. (1986). Compiling Horn clause queries in deductive databases: A Horn clause transformation approach.
Chicago-Zitierstil (17. Ausg.)Miyazaki, Nobuyoshi, Haruo Yokota, und Hidenori Itoh. Compiling Horn Clause Queries in Deductive Databases: A Horn Clause Transformation Approach. Tokyo, Japan, 1986.
MLA-Zitierstil (9. Ausg.)Miyazaki, Nobuyoshi, et al. Compiling Horn Clause Queries in Deductive Databases: A Horn Clause Transformation Approach. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.