next up previous
Next: References Up: Elephant 2000: A Programming Previous: Remarks

Acknowledgements

I am indebted to Vladimir Lifschitz, Leora Morgenstern and Carolyn Talcott for useful suggestions.

Support for this work was provided by the Information Science and Technology Office of the Defense Advanced Research Projects Agency.



John McCarthy
Fri Nov 6 21:37:30 PST 1998