Ralph W. Wilkerson

• Advances in logic programming and automated reasoning
• Advances in Logic Programming and Automated Reasoning