ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
journal27152
E001489
US
1529-3785
English
Rivista
New York, NY : Association for Computing Machinery, c2000-
2000
can
restricted
false