![](https://media.springernature.com/w90/springer-static/cover/journal/10472/55/1.jpg?as=webp)
Volume 55, Issue 1-2
February 2009Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt
7 articles in this issue
Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt