Contributions to Books:
T. Eiter, G. Gottlob, T. Schwentick:
"The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey";
in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday",
A. Blass, N Dershowitz, W. Reisig (ed.);
Heidelberg (LNCS 6300),
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.