Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino. Informational Logic as a Tool for Automated Reasoning. Journal of Automated Reasoning, 20(1):167-190, 1998.
@article{ForcheriGM98, title = {Informational Logic as a Tool for Automated Reasoning}, author = {Paola Forcheri and Paolo Gentilini and Maria Teresa Molfino}, year = {1998}, tags = {logic}, researchr = {https://researchr.org/publication/ForcheriGM98}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {20}, number = {1}, pages = {167-190}, }