books.google.com - This series reviews research contributions in logic programming and automated reasoning and is desinged to stimulate and sustain new, productive lines of investigation into symbolic and algebraic computing techniques as they relate to logic programming and automate reasoning. Topics covered include equational...http://books.google.com/books/about/Advances_in_Logic_Programming_and_Automa.html?id=KCbe0s1KO1IC&q=sort&utm_source=gb-gplus-shareAdvances in Logic Programming and Automated Reasoning

Get this book in print
## Advances in Logic Programming and Automated Reasoning, Volume 1edited by Ralph W. Wilkerson |