Vladimir V. Rybakov Vladimir R. Kiyatkin Mehmet Terziler Independent Bases for Rules Admissible in Pretabular Logics. 253-266 1999 7 Logic Journal of the IGPL 2 http://www3.oup.co.uk/igpl/Volume_07/Issue_02/#rybakov db/journals/igpl/igpl7.html#RybakovKT99