Trapiche
Meta-logics and logic programming, de Krzysztof R. Apt · Trapiche