Computing With First-Order Logic (1995)

Cached

Download Links

by Serge Abiteboul , Victor Vianu
Citations:53 - 13 self