000 00308pas a2200097 454500
008 160820b2000 xxu||||| |||| 00| 0 eng d
022 _a1529-3785
245 _aACM TRANSACTIONS ON COMPUTATIONAL LOGIC
260 _aNEW YORK
_bASSOCIATION FOR COMPUTING MACHINERY
_c2000
906 _a8(1), 2007
_b
_c
_dJan - Dec,2008
999 _c475742
_d475742