Hypergraph Transversals: Complexity and Applications

Georg Gottlob (Vienna University of Technology, Austria)

Abstract State Machines: An Overview of the Project

Yuri Gurevich (Microsoft Research, Redmond, USA)