PP-1999-15: Maarten Marx, Stefan Schlobach, Szabolcs Mikulás Labelled Deduction for the Guarded Fragment 1.Full Text, 2.Abstract. < Back
