Tackling Incomplete System Specifications Using Natural Deduction in the Paracomplete Setting.

Alexander Bolotov, Vasilyi Shangin

Browse the full COMPSAC paper archive.