DMCA

Querying the guarded fragment (2010)

by Vince Bárány , Georg Gottlob , Martin Otto
Venue:PROCEEDINGS OF THE 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2010
Citations:38 - 12 self