A Tableau Calculus for Minimal Model Reasoning.

Ilkka Niemel

Browse the full TABLEAUX paper archive.