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