Logic programming and non-monotonic reasoning
Pereira Luís Moniz, Nerode AnilKniha
Citace v seznamu literatury:
PEREIRA, Luís Moniz a NERODE, Anil. Logic programming and non-monotonic reasoning: proceedings of the second international workshop. Cambridge, Mass.: MIT Press, c1993. ISBN 9780262291378. Dostupné také z: https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520.