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