1
Published 2011
Springer Berlin Heidelberg
...This book constitutes the proceedings of the 12th International Workshop on Computational Logic...