BibTeX
@article{reylegabbay97,
author = {Uwe Reyle and Dov Gabbay},
title = {Labelled Resolution for Classical an Non-classical Logics},
journal = {Studia Logica, 2 (59)},
year = {1997}
}
@article{reylegabbay97,
author = {Uwe Reyle and Dov Gabbay},
title = {Labelled Resolution for Classical an Non-classical Logics},
journal = {Studia Logica, 2 (59)},
year = {1997}
}