@Article{wvl:2005,
author = {Wi\'{s}niewski, A. and Vanackere, G. and Leszczy\'{n}ska, D.},
title = {Socratic Proofs and Paraconsistency: A Case Study},
journal = {Studia Logica},
year = {2004},
volume = {80},
number = {2--3},
pages = {433--468}
}