ACM Transactions on Computational Logic, Volume 20

Volume 20, Number 1, February 2019

maintained by Schloss Dagstuhl LZI, founded at University of Trier