مؤلف: Michel Parigot

Michel Parigot & Andrei Voronkov: Logic for Programming and Automated Reasoning