"Proceedings of the 28th Italian Conference on Computational Logic, ..."

Domenico Cantone, Marianna Nicolosi Asmundo (2013)
maintained by Schloss Dagstuhl LZI, founded at University of Trier