Logic programming and non-monotonic reasoning : proceedings of the second international workshop - Pereira, Luis Moniz; Nerode, Anil (The MIT Press, 1993)