Vol-2751⫷ Vol-2752 ⫸Vol-2753
urn:nbn:de:0074-2752-0


Vol-2752/paper11⫷Vol-2752/paper12⫸Vol-2752/paper13
Sen ZhengRenate A. Schmidt

Querying the Guarded Fragment via Resolution (Extended Abstract)