The top-down evaluation techniques for modular nonmonotonic logic programs / von Tri Kurniawan Wijaya. 2011
Inhalt