## Automating First-Order Relational Logic (2000)

### Cached

### Download Links

- [sdg.lcs.mit.edu]
- [geyer.lcs.mit.edu]
- [people.csail.mit.edu]
- [sdg.lcs.mit.edu]
- [sdg.csail.mit.edu]
- [www.cs.wm.edu]
- [stuff.mit.edu]
- DBLP

### Other Repositories/Bibliography

by
Daniel Jackson

Citations: | 131 - 20 self |