Mary-Angela Papalaskari Scott Weinstein Minimal Consequence in Sentential Logic. 19-31 1990 9 J. Log. Program. 1 db/journals/jlp/jlp9.html#PapalaskariW90