On the Decision Problem for Two-Variable First-Order Logic (1997)

Cached

Download Links

by Erich Grädel , Phokion G. Kolaitis , Moshe Y. Vardi
Citations:48 - 1 self