Partial instantiation theorem proving for distributed resource location.

Keith Vanderveen, C. V. Ramamoorthy

Browse the full COMPSAC paper archive.