G. Rago

Publication Activity (10 Years)

Years Active: 2002-2002
Publications (10 Years): 0

Publications

John N. Hooker, G. Rago, V. Chandru, A. Shrivastava
Partial Instantiation Methods for Inference in First-Order Logic. J. Autom. Reason. 28 (5) (2002)