Logic programming and non-monotonic reasoning : proceedings of the second international workshop - Pereira, Luís Moniz; Nerode, Anil (The MIT Press [i.e.] Massachussetts Institute of Technology, 1993)