This book constitutes the proceedings of the 13th International Workshop on Computational Logic i...
This book constitutes the proceedings of the 14th International Workshop on Computational Logic i...
This book constitutes the refereed proceedings of the Third International Conference on Logic and...
This book constitutes the refereed proceedings of the 25th International Conference on Principles...