A logical language for data and knowledge bases - Nagni, Shamim. (Computer Science Press, 1989)
Index.