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