Keith Vanderveen, C. V. Ramamoorthy. Partial instantiation theorem proving for distributed resource location. In 21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA. pages 192, IEEE Computer Society, 1997. [doi]
Abstract is missing.