Logic for Programming, Artificial Intelligence, and ReasoningChristian G. Fermüller, Andrei Voronkov₹4,854
