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