A Nonmonotonic Assumption-Based TMS Using Stable Bases.

William L. Rodi, Stephen G. Pimentel

Browse the full KR paper archive.