TY  - BOOK
AU  - Nerode, Anil
AU  - Marek, Wiktor
AU  - Subrahmanian, V. S.
TI  - Logic programming and non-monotonic reasoning: : proceedings of the First International Workshop
U1  - 005.1 
PY  - 1991///
CY  - Cambridge, Mass.
PB  - MIT
KW  - Programación lógica
KW  - Razonamiento
ER  -