ACM transactions on computational logic TOCL (Association for Computing Machinery, 2000)
Gesehen am 15.06.20