Fabio Massacci. A Proof Theory for Tractable Approximations of Propositional Reasoning. In Maurizio Lenzerini, editor, AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings. Volume 1321 of Lecture Notes in Computer Science, pages 219-230, Springer, 1997.
Abstract is missing.