[1] This research was carried out while the second author was working at the Department of Computer Science of Utrecht University,
[2] with support by the Foundation for Computer Science (S.I.O.N) of the Netherlands Organization for Scientific Research (N.W.O.). This research was partially supported by ESPRIT Long Term Research Project 20244 (project ALCOM IT: $Algorithms and Complexity
[3] Altera Corp.,undefined
[4] 101 Innovation Drive,undefined
[5] San Jose,undefined
[6] CA 95134,undefined
[7] USA. babette\_van\_antwerpen@hotmail.com.,undefined