Văn bản này: Mathematical aspects of logic programming semantics /