published version appears in j algorithms 18 1995 432 47 published presentations and documents on DocSlides.