Guarded Fixed Point Logic (1999)

by Erich Grädel , Igor Walukiewicz
Citations:59 - 4 self