Chandrabose Aravindan Fifth European Workshop on Logics in Artificial Intelligence (JELIA '96), Evora, Portugal, 30 September-3 October 1996. 63-65 1997 10 AI Commun. 1 db/journals/aicom/aicom10.html#Aravindan97