Advances in Logic Programming and Automated Reasoning (Book)

Edition

Related Titles