See the PDF here
Author(s)
Asher, Jerry
Presented at the 2005 Cal-IPC Symposium.