Handbook of logic in artificial intelligence and logic programming | lit.salon