Yoshida N, Honda K, Berger M2008Journal article Journal:Logical Methods in Computer ScienceVolume:Volume 4, Issue 4, Centre pour la Communication Scientifique Directe (CCSD)No abstract availableKeywords:46 Information and Computing Sciences , 4602 Artificial Intelligence See more details Posted by 1 X users On 1 Facebook pages 6 readers on Mendeley DOI10.2168/lmcs-4(4:2)2008