PP-1999-20: Eva Hoogland, Maarten Marx, Martin Otto Beth Definability for the Guarded Fragment 1.Full Text, 2.Abstract. < Back
