JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
journal31233
E092542
US
1567-8326
English
Rivista
Tokyo ; Oxford ; New York ; London ; Amsterdam ; Shannon ; Paris : North-Holland
2001
can
cannot
false