Logic programming and non-monotonic reasoning proceedings of the second international workshop - Pereira, Luís Moniz; Nerode, Anil, 1932- (MIT Press, 1993)