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

### Cached

### Download Links

- [www.math.ucla.edu]
- [www-mgi.informatik.rwth-aachen.de]
- DBLP

### Other Repositories/Bibliography

by
Erich Grädel
,
Phokion G. Kolaitis
,
Moshe Y. Vardi

Citations: | 67 - 1 self |