Michel Herment, Ewa Orlowska. Handling Information Logics in a Graphical Proof Editor. Computational Intelligence, 11:297-322, 1995.
@article{HermentO95,
title = {Handling Information Logics in a Graphical Proof Editor},
author = {Michel Herment and Ewa Orlowska},
year = {1995},
tags = {logic},
researchr = {https://researchr.org/publication/HermentO95},
cites = {0},
citedby = {0},
journal = {Computational Intelligence},
volume = {11},
pages = {297-322},
}