Volume 48, Numbers 1-2, September 2006
Miguel F. Anjos
: An explicit semidefinite characterization of satisfiability for Tseitin instances on toroidal grid graphs.
Volume 48, Numbers 3-4, December 2006
: Multi-modal nonmonotonic logics of minimal knowledge.
: Strong and uniform equivalence of nonmonotonic theories - an algebraic approach.