Meta-logics and logic programming - Turini, Franco, 1949- (MIT Press, 1995)