Paola Forcheri Paolo Gentilini Maria Teresa Molfino Informational Logic as a Tool for Automated Reasoning. 167-190 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#ForcheriGM98