arXiv 2003-06-07 EN A Transformational Decision Procedure for Non-Clausal Propositional Formulas Sakharov, Alexander
arXiv 2002-10-25 EN An Elementary Fragment of Second-Order Lambda Calculus Aehlig, Klaus · Johannsen, Jan
arXiv 2002-02-25 EN Equivalence and Isomorphism for Boolean Constraint Satisfaction Boehler, E. · Hemaspaandra, E. · Reith, Steffen · Vollmer, Heribert
arXiv 2000-11-23 EN A syntactical analysis of non-size-increasing polynomial time computation Aehlig, Klaus · Schwichtenberg, Helmut
